guicho271828 /cl-sat.picosat

Type GITHUB
Source https://github.com/guicho271828/cl-sat.picosat
Branch or tag
Last seen commit 8fce8ec7043504f5dfa1a8646d85249a7479e489
Release http://dist.ultralisp.org/ultralisp/archive/g/guicho271828-cl-sat.picosat-20190803134812.tgz
Distributions ultralisp
Last check Finished 3 days 14 hours 27 minutes 31 seconds 660139000 nsecs.