ports

• lang
• math

math/logic2cnf

• CVSweb
• allbsd
• cgit
• openports.se
• ports-wip

logic2cnf-0.7.2 – easy to use propositional logic solver based on MiniSAT

Description

Logic2CNF is an easy to use propositional logic solver based upon
MiniSAT (http://minisat.se). Logic is programmed using a simple grammar
(instead of having to convert logic to DIMACS) and all CNF conversion is
automatic.

WWW: http://projects.cs.kent.ac.uk/projects/logic2cnf/trac/

Categories:

lang math

Library dependencies

None

Build dependencies

None

Run dependencies

None