VeriPB

Oertel, Andy; McCreesh, Ciaran

doi:10.4230/artifacts.26901

Artifact

VeriPB Software

Authors Andy Oertel , Ciaran McCreesh

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2026-07-13

Document Identifiers

DOI: 10.4230/artifacts.26901
URN: urn:nbn:de:0030-drops-269013

Author Details

Andy Oertel

Lund University

Ciaran McCreesh

University of Glasgow

Content

Software (VeriPB): https://gitlab.com/MIAOresearch/software/VeriPB
archived version

Version/Status

Content created at: 2026-02-27
Status: Active (at the time of publication 2026-07-13)

Cite As Get BibTex

Andy Oertel, Ciaran McCreesh. VeriPB (Software, VeriPB). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26901

Description

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

Subject Classification

Keywords

ceritfying algorithms

Programming Languages

Rust

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail