K

kissat_fork

Project information

A fork of kissat with pseudo-Boolean proof logging instead of DRAT proof logging.

21 Commits
3 Branches
1 Tag

README
MIT License
CONTRIBUTING

Created on

March 09, 2021

Loading