Hakank
Joined 31 August 2022
Clarified some CP languages
(Added Common CP problems) |
(Clarified some CP languages) |
||
Line 67:
<li> [http://www.hakank.org/google_or_tools/ Google or-tools] (Python, Java)
<li> [http://www.hakank.org/tailor/ Tailor/Essence'] (very high level CP language)
<li> [http://www.hakank.org/eclipse/ ECLiPSe CLP System] (Prolog)
<li> [http://www.hakank.org/sicstus/ SICStus Prolog]
<li> [http://www.hakank.org/gecode/ Gecode] (C++)
<li> [http://www.hakank.org/comet Comet] (C++ like language)
<li> [http://www.hakank.org/gecode_r/ Gecode/R] (Ruby interface to Gecode)
<li> [http://www.hakank.org/choco Choco] (Java)
<li> [http://www.hakank.org/JaCoP/ JaCoP] (Java)
<li> [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language)
<li> [http://hakank.org/answer_set_programming/ Answer Set Programming] (this is the related paradigm)
</ul>
| |||