ConSol-Lab/Pumpkin

A Lazy Clause Generation Constraint Programming solver written in Rust.

语言：Rust · GitHub 星标：106 · Fork：34

话题：constraint-programming · cp · lazy-clause-generation · lcg · proof-logging · rust

在 GitHub 上查看原仓库