HomeSearchLibrary
Boolean satisfiability | OmniWiki