A pattern-mining propagation accelerator for SAT solvers
Primary LanguageC
This repository is not active