i-am-tom/holmes

A reference library for constraint-solving with propagators and CDCL.

语言：Haskell · GitHub 星标：306 · Fork：17

话题：backtracking · constraint-solver · logic-programming · propagation

在 GitHub 上查看原仓库