[Sim][#50] Represent boolean expressions as symbols and their constraints.
[Sim][#50] Represent boolean expressions as symbols and their constraints.

Effectively means Tseitin-transformed CNF.

kosarev/z80,kosarev/z80