Pumpkin is a combinatorial optimization solver written in Rust, based on lazy clause generation, and...