Re:Constraints (1981) [pdf]
by Jtsummers on Sunday June 20, 2021 @07:50PM
(#27574868)
miniZinc is a constraint modeling language.
Many Prologs support constraint modeling. Common Lisp has the Screamer package which is built on the idea. minikanren provides constraint modeling in many languages.
Many Prologs support constraint modeling. Common Lisp has the Screamer package which is built on the idea. minikanren provides constraint modeling in many languages.