Ultralisp.orgincludes two thousand thirty-six projects

A fast-moving Common Lisp software distribution.

Try: signal - this will search in symbol's name and documentation.

guicho271828 /cl-smt

Enter comma separated tag names:

+

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

source-id=1230 version=0 project-id=1230 project-version=0

Type GITHUB
Created at 2019-05-16 00:04:49 UTC
Source https://github.com/guicho271828/cl-smt
Branch or tag master
Last seen commit abb42ebe7d1906071363193bde6091c51f7f4f09
Release http://dist.ultralisp.org/ultralisp/archive/g/guicho271828-cl-smt-20190709041950.tgz
Systems
cl-smt.asd
cl-smt
cl-smt.test.asd
cl-smt.test
Distributions ultralisp
Last check Finished 21 hours 22 minutes ago. Next check will be made in 6 days 2 hours.