Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
java
simplex
logic
linear-programming
bitvector
satisfiability-modulo-theories
non-linear
sat-solver
smt-solver
lia
branch-and-bound
dpll
non-linear-optimization
eq
tseitin-transformation
linear-integer-programming
cdcl
nra
cylindrical-algebraic-decomposition
equf
-
Updated
Oct 25, 2024 - Java