Tools
nstraints Z3 TurnKey Z3-TurnKey repackages the Z3 SMT solver and its Java API into a Java library that does not require Z3 to be manually installed on a host system. Using this library, Z3 can be used [...] application like a pure Java dependency. License: ISC License GitHub: tudo-aqua/z3-turnkey Library: pkg:maven/tools.aqua/z3-turnkey CVC4 TurnKey The CVC4 Theorem Prover is a widely used SMT solver that is …
