This project is archived. Its data is read-only.

V

VeriPB-archive Archived

Project information

Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.

combinatoria... proof logging

1,060 Commits
3 Branches
10 Tags
4 Releases

README
MIT License
CHANGELOG

Created on

August 10, 2020

Loading