Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

V

VeriPB

Project information

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

524 Commits
2 Branches
1 Tag

README
MIT License

Created on

January 09, 2023

Copy SSH clone URLgit@gitlab.com:ccwu/VeriPB.git
Copy HTTPS clone URLhttps://gitlab.com/ccwu/VeriPB.git

Loading