User:Hakank: Difference between revisions

Line 62:

* [http://www.hakank.org/setl/ SETL]

* [http://www.hakank.org/poplog/ Pop-11/Poplog]

* [http://www.hakank.org/apl/ APL]

'''My Constraint Programming (and related paradigms) pages'''

* [http://www.hakank.org/minizinc/ G12 MiniZinc] (very high level CP language)

* [http://www.hakank.org/google_or_tools/ Google or-tools] (Python, Java)

* [http://www.hakank.org/google_or_tools/ Google or-tools] (Python, Java, C#)

* [http://www.hakank.org/tailor/ Tailor/Essence'] (very high level CP language)

* [http://www.hakank.org/eclipse/ ECLiPSe CLP System] (Prolog)

Line 74:

Line 75:

* [http://www.hakank.org/choco Choco] (Java)

* [http://www.hakank.org/JaCoP/ JaCoP] (Java)

* [http://hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala)

* [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language)

* [http://hakank.org/answer_set_programming/ Answer Set Programming] (this is ~~the~~ related paradigm)

* [http://hakank.org/answer_set_programming/ Answer Set Programming] (this is a related paradigm)

[http://www.hakank.org/common_cp_models/ Common constraint programming problems], lists problems (and links to models/programs) which are solved in at least two CP systems