Small utility to test a propositional logic theorem prover with randomly created valid and not satisfiable formulas
Primary LanguageRust
No one’s star this repository yet.