halbaroth / rsmt2 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kino-mc/rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
License: Apache License 2.0