Ultralisp.orgincludes two thousand twenty-nine projects

A fast-moving Common Lisp software distribution.

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

guicho271828 /cl-sat.minisat

Enter comma separated tag names:

+

CL-SAT binding to MINISAT2 @ http://minisat.se/MiniSat.html

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

Type GITHUB
Created at 2023-12-05 19:56:24 UTC
Source https://github.com/guicho271828/cl-sat.minisat
Branch or tag master
Last seen commit 1951608f2fd77c717126893748764e46b07bfa38
Release http://dist.ultralisp.org/archive/1070/guicho271828-cl-sat.minisat-20231205195617.tgz
Systems
cl-sat.minisat.asd
cl-sat.minisat
cl-sat.minisat.test.asd
cl-sat.minisat.test
Distributions ultralisp
Last check Finished 22 minutes 43 seconds ago. Next check will be made in 6 days 23 hours.