C

combinatorial optimization

Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.