Hakank
Joined 31 August 2022
Added J, Numberjack, and AMPL
No edit summary |
(Added J, Numberjack, and AMPL) |
||
Line 68:
* [http://www.hakank.org/pddl/ PDDL]
* [http://www.hakank.org/frink/ Frink]
* [http://www.hakank.org/j/ J]
'''My Constraint Programming (and related paradigms) pages'''
Line 80 ⟶ 81:
* [http://www.hakank.org/choco Choco] (Java)
* [http://www.hakank.org/JaCoP/ JaCoP] (Java)
* [http://www.hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala)
* [http://www.hakank.org/oscar/ OscaR] (Scala)
* [http://www.hakank.org/jsr_331/ JSR-331] (Java Constraint Programming API)
* [http://www.hakank.org/numberjack/ Numberjack] (Python)
* [http://www.hakank.org/minizinc/zinc.html G12 Zinc] (very high level CP language)
* [http://www.hakank.org/answer_set_programming/ Answer Set Programming] (this is a related paradigm)
* [http://www.hakank.org/ampl/ AMPL] (related paradigm: LP/MIP)
[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
| |||