/resolution-prover

A first-order-logic CNF converter and resolution prover written in Java

Primary LanguageJava

Watchers