K

Kissat3-pb2

Project information

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.

35 Commits
2 Branches
8 Tags

README
MIT License
CHANGELOG
CONTRIBUTING

Created on

April 21, 2023

Loading