Ultralisp.org
includes one thousand four hundred sixty projects
A fast-moving Common Lisp software distribution.
Try: project:"40ants/weblocks" AND symbol:"request"
Leave feedback
Log In
guicho271828
/
cl-sat.glucose
CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).
View project on GitHub
2020-10-04 03:41:08 UTC - Planned check