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