Given a propositional formula as a string, for example "(A & (B | C))".
Is there a library which automatically converts it to DIMACS format ?
A python based solution would be appreciated.
2.1m questions
2.1m answers
60 comments
56.9k users