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.