equf

There are 0 repository under equf topic.

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