Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-
Discover projects, groups and snippets. Share your projects with others
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.