Just a simple parallel SAT solver based on resolution techniques
Primary LanguageJava
This repository is not active