An Improved Decision-DNNF Compiler
An Extensible SAT-solver