Given a propositional formula as a string, for example "(A & (B | C))".
Is there a library which automatically converts it to DIMACS format ?
A pyth
