elsoroka/Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
JuliaMIT
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
JuliaMIT