guicho271828 /cl-smt

Common Interface to SMT (Satisfiable Module Theories) solvers from Common Lisp

Type GITHUB
Source https://github.com/guicho271828/cl-smt
Branch or tag
Last seen commit abb42ebe7d1906071363193bde6091c51f7f4f09
Release http://dist.ultralisp.org/ultralisp/archive/g/guicho271828-cl-smt-20190709041950.tgz
Distributions ultralisp
Last check Finished 3 days 15 hours 16 minutes 9 seconds 284251000 nsecs.