search

akleemans / cp-logic

Some tools for classical propositional logic - my bachelor thesis.
4 stars 0 forks source link

Ausgabe Resolution #4

Open akleemans opened 10 years ago

akleemans commented 10 years ago

-resolution: Das Program ausgibt "Found the following ... clause sets", obwohl er "Found the following ... clauses" ausgeben sollte.