Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

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