P
Initializing...
Decoded CNF literal evaluation equals satisfiesB · Prove2Me