Stephan Gocht, Andy Oertel
GitLab
Proof checker for proof logging methods using pseudo-Boolean reasoning for various combinatorial solving, optimization and enumeration algorithms.