C++ implementation of propositional logic formulae. Simple reason can search for models, do the basic formula transformation and solve SAT problems. DIMACS format is supported.
uros-stegic / simple-reason Goto Github PK
View Code? Open in Web Editor NEWToolkit for automated reasoning tasks intended for educational purposes
License: GNU General Public License v3.0