Published November 21, 2019 | Version 0.1.0
Software Open

VeriPB

Authors/Creators

  • 1. Faculty of engineering, LTH

Description

VeriPB (Verifier for pseudo-Boolean proofs) is a tool for verifying refutations (proofs of unsatisfiability) and more (such as verifying that a valid solution is found) in python and c++. Currently it only supports linear pseudo-Boolean proofs using cutting planes.

More information should be available at https://github.com/StephanGocht/VeriPB.

Files

VeriPB-0.1.0.zip

Files (48.5 kB)

Name Size Download all
md5:8ba7b2b2c75f0a91ed3b49e836258b3a
48.5 kB Preview Download

Additional details

Related works

Is derived from
Software: https://github.com/StephanGocht/VeriPB (URL)