mlimotte/quandary

Data-structure based DSL for Satisfaction solver. Clojure wrapper for Google OR-Tools CP-SAT solver.

语言：Clojure · GitHub 星标：17 · Fork：1

在 GitHub 上查看原仓库