includes one thousand four hundred twenty-nine projects
A fast-moving Common Lisp software distribution.
Try: signal - this will search in symbol's name and documentation.
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-06-08 22:02:05 UTC - Planned check