rafaelbailo / satisfiability.jl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from elsoroka/satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
Home Page: https://elsoroka.github.io/Satisfiability.jl/
License: MIT License