# The math/logic2cnf port

## 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

## Build dependencies

## Run dependencies