Explore projects
-
This repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.
Updated -
Updated
-
This repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.