conjure-cp/conjure

Conjure: The Automated Constraint Modelling Tool

语言：Haskell · GitHub 星标：119 · Fork：24

话题：combinatorial-optimization · constraint-programming · constraints · modelling · sat

在 GitHub 上查看原仓库