Constraint programming: Difference between revisions

Content deleted Content added
Changes to first paragraph
Line 164:
* [https://github.com/osxhacker/smocs SMOCS], Scala [[Monad (functional programming)|Monadic]] library (BSD license)
* [https://www.optaplanner.org OptaPlanner], Java library (that also works in Kotlin, Scala, JRuby and Groovy) and toolkit (benchmarker, server and workbench) ([[Apache license]])
*[http://imae.udg.edu/recerca/lap/simply/ WSimply]
* [https://github.com/Z3Prover/z3 Z3], C++ solver with C, Java, C#, and Python bindings ([[MIT license]])