@marvintau
marvtao 暂无简介
Post-modern SAT solver
Scalpel, a minimum system
A library for manipulating CNF in different forms for better dealing with SAT problem.