Skip to content

GitLab

Explore

Sign in

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

Copy SSH clone URLgit@gitlab.ai.vub.ac.be:cagri/kissat3-pb2.git
Copy HTTPS clone URLhttps://gitlab.ai.vub.ac.be/cagri/kissat3-pb2.git