implementation of DIMACS converter in python
convert any propositional logic formula to a DIMACS file using ANTLR4 as parser
main.py file contains sample code that uses different transformation implemented.
a- eliminate implication and equivalence.
b- generate disjunctive clauses.
c- generate DIMACS file.