Ultralisp.orgincludes two thousand eighteen projects

A fast-moving Common Lisp software distribution.

Try: project:"40ants/reblocks" AND symbol:"request"

guicho271828 /cl-sat

Enter comma separated tag names:

+

Common Interface to Boolean Satisfiability Solvers from Common Lisp

source-id=1069 version=2 project-id=1069 project-version=0

Type GITHUB
Created at 2022-05-04 21:45:06 UTC
Source https://github.com/guicho271828/cl-sat
Branch or tag master
Last seen commit 0afad0b1c7178927ee57b623936fcf755d7ae02e
Release http://dist.ultralisp.org/archive/1069/guicho271828-cl-sat-20220504214455.tgz
Systems
cl-sat.asd
cl-sat
cl-sat.test.asd
cl-sat.test
Distributions ultralisp
Last check Finished 3 days 17 hours ago. Next check will be made in 3 days 6 hours.