Quokka improvements

[JingyiMei98]

• write and read cnf in GPMC: without writing to the memory
• on-the-fly preprocessing

1. variable elimination
2. sabsumption rule
3. probing
4. gaussian elimination & cardinality elimination (for xor constraints)

[JingyiMei98]

More improvements:

• Parameterise the gate set in the synthesis problem
• add the encoding of arbitrary unitary
• partial equivalence checking

Experiments:

• experiments on random circuits
• finish the experiments on RevLi