CakePB

Project information

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

Formal Verif... combinatoria... proof logging

5 Commits
1 Branch
0 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

February 09, 2024

Copy SSH clone URLgit@gitlab.com:MIAOresearch/software/cakepb.git
Copy HTTPS clone URLhttps://gitlab.com/MIAOresearch/software/cakepb.git