dimacs
CMSGen, a fast weighted uniform-like sampler
A readable, self-checking CDCL SAT solver, preprocessor and encoding library. Every answer comes with a certificate.
Manipulate NNF (Negation Normal Form) logical sentences
