P
Initializing...
Parsing an encoded CNF returns it · Prove2Me