- changed status to resolved
--tocnf=yes should use header p cnf <#variables> <#clauses>
Issue #107
resolved
Currently still prints out p ecnf
Comments (1)
-
- Log in to comment