The latest version of z3-solver-crosshair with no known security vulnerabilities is 4.8.8.0.1. We recommend installing version 4.8.8.0.1.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v4.8.8.0.1 at Oct. 4, 2021
- License
-
MIT (MIT License)
Description
A fork of the Z3 SMT solver library for use in CrossHair.
No known vulnerabilities found
Has known vulnerabilities