Hakank
Joined 31 August 2022
no edit summary
m (using wiki syntax) |
No edit summary |
||
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, C#)
* [http://www.hakank.org/tailor/ Tailor/Essence'] (very high level CP language)
* [http://www.hakank.org/eclipse/ ECLiPSe CLP System] (Prolog)
Line 74 ⟶ 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
[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
| |||