CakePB

Tan, Yong Kiam

doi:10.4230/artifacts.26902

Artifact

CakePB Software

Author Yong Kiam Tan

Part of: Collection: Supplementary Materials
License: BSD 3-Clause "New" or "Revised" License
Publication Date: 2026-07-13

Document Identifiers

DOI: 10.4230/artifacts.26902
URN: urn:nbn:de:0030-drops-269024

Author Details

Yong Kiam Tan

Nanyang Technological University & Institute for Infocomm Research, A*STAR

Content

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

Version/Status

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

Cite As Get BibTex

Yong Kiam Tan. CakePB (Software, CakePB). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26902

Description

Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.

Subject Classification

Keywords

certifying algorithms
formal verification

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