Hakank
Joined 31 August 2022
Added B-prolog
(Added AIMMS+CP) |
(Added B-prolog) |
||
Line 83:
* [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, JSR-331)
* [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/aimms/ AIMMS+CP] (AIMMS with CP)
* [http://www.hakank.org/bprolog/ B-Prolog] (Prolog)
* [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)
| |||