MIAOresearch/software/VeriPB-archive
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.
GitLab repository with 5 stars and 0 forks.
Topics: combinatorial optimization, proof logging