HomeSearchLibrary
Propositional satisfiability | OmniWiki