-
Notifications
You must be signed in to change notification settings - Fork 0
This program will convert propositional formulae of a given JSON input format into an equisatisfiable conjunctive normal form. There are three different algorithms implemented to do the conversion. One of them uses paths through matrices.
AFellner/MatrixCNF
About
This program will convert propositional formulae of a given JSON input format into an equisatisfiable conjunctive normal form. There are three different algorithms implemented to do the conversion. One of them uses paths through matrices.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published