VeriPB

Project information

Project ID: 70013030

VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds

Created on

May 20, 2025