guicho271828 /cl-sat.minisat
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 |
|
Distributions | ultralisp |
Last check | Finished 5 days 20 hours ago. Next check will be made in 1 day 3 hours. |