K
Kissat3-pb2
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.
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.