Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Symfpu | 18 | 2 years ago | 8 | gpl-3.0 | C++ | |||||
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point | ||||||||||
Mcbv | 16 | a year ago | 2 | other | F# | |||||
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework. | ||||||||||
Lazybv2int | 8 | 5 months ago | other | SMT | ||||||
A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions. |