python - Converting a string format propositional formula to DIMACS?

Question

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.

question from:https://stackoverflow.com/questions/65907387/converting-a-string-format-propositional-formula-to-dimacs

Answer 1

Waitting for answers