User:Hakank: Difference between revisions
Content added Content deleted
No edit summary |
(Added J, Numberjack, and AMPL) |
||
Line 68: | Line 68: | ||
* [http://www.hakank.org/pddl/ PDDL] |
* [http://www.hakank.org/pddl/ PDDL] |
||
* [http://www.hakank.org/frink/ Frink] |
* [http://www.hakank.org/frink/ Frink] |
||
* [http://www.hakank.org/j/ J] |
|||
'''My Constraint Programming (and related paradigms) pages''' |
'''My Constraint Programming (and related paradigms) pages''' |
||
Line 80: | Line 81: | ||
* [http://www.hakank.org/choco Choco] (Java) |
* [http://www.hakank.org/choco Choco] (Java) |
||
* [http://www.hakank.org/JaCoP/ JaCoP] (Java) |
* [http://www.hakank.org/JaCoP/ JaCoP] (Java) |
||
* [http://hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala) |
* [http://www.hakank.org/jacop/jacop_scala.html Scala in JaCoP] (Java, Scala) |
||
* [http://hakank.org/oscar/ OscaR] (Scala) |
* [http://www.hakank.org/oscar/ OscaR] (Scala) |
||
* [http://hakank.org/jsr_331/ JSR-331] (Java Constraint Programming API) |
* [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/minizinc/zinc.html G12 Zinc] (very high level CP language) |
||
* [http://hakank.org/answer_set_programming/ Answer Set Programming] (this is a related paradigm) |
* [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 |
[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 |
Revision as of 05:43, 2 November 2012
My Favorite Languages | |
Language | Proficiency |
ABC | --- |
AMPL | --- |
Answer Set Programming | --- |
APL | --- |
AWK | --- |
BASIC | --- |
C | --- |
C++ | --- |
C sharp | --- |
Common Lisp | --- |
Commodore BASIC | --- |
Eiffel | --- |
Emacs Lisp | --- |
Frink | --- |
Icon | --- |
GAP | --- |
Groovy | --- |
Haskell | --- |
J | --- |
JavaScript | --- |
K | --- |
Maple | --- |
Mathematica | --- |
MiniZinc | --- |
Modula-3 | --- |
NetLogo | --- |
OCaml | --- |
Oz | --- |
Pascal | --- |
PHP | --- |
Perl | --- |
Perl 6 | --- |
PL/SQL | --- |
Pop11 | --- |
Prolog | --- |
Python | --- |
Q | --- |
R | --- |
REBOL | --- |
REXX | --- |
Ruby | --- |
Sage | --- |
Scala | --- |
Scheme | --- |
SETL | --- |
SNOBOL4 | --- |
SQL | --- |
Hakan Kjellerstrand, Swedish software developer.
Interests: programming languages, (math) puzzles, constraint programming
Personal site: www.hakank.org
My language pages
My Constraint Programming (and related paradigms) pages
- G12 MiniZinc (very high level CP language)
- Google or-tools (Python, Java, C#)
- Tailor/Essence' (very high level CP language)
- ECLiPSe CLP System (Prolog)
- SICStus Prolog
- Gecode (C++)
- Comet (C++ like language)
- Gecode/R (Ruby interface to Gecode)
- Choco (Java)
- JaCoP (Java)
- Scala in JaCoP (Java, Scala)
- OscaR (Scala)
- JSR-331 (Java Constraint Programming API)
- Numberjack (Python)
- G12 Zinc (very high level CP language)
- Answer Set Programming (this is a related paradigm)
- AMPL (related paradigm: LP/MIP)
Common constraint programming problems, lists problems (and links to models/programs) which are solved in at least two CP systems
My blogs
- My Constraint Programming Blog, about Constraint Programming and related paradigms
- Arrays in Flux, anything but Constraint Programming
- hakank.blogg, Swedish (not very active anymore)
Categories:
- ABC User
- AMPL User
- Answer Set Programming User
- APL User
- AWK User
- BASIC User
- C User
- C++ User
- C sharp User
- Common Lisp User
- Commodore BASIC User
- Eiffel User
- Emacs Lisp User
- Frink User
- Icon User
- GAP User
- Groovy User
- Haskell User
- J User
- JavaScript User
- K User
- Maple User
- Mathematica User
- MiniZinc User
- Modula-3 User
- NetLogo User
- OCaml User
- Oz User
- Pascal User
- PHP User
- Perl User
- Perl 6 User
- PL/SQL User
- Pop11 User
- Prolog User
- Python User
- Q User
- R User
- REBOL User
- REXX User
- Ruby User
- Sage User
- Scala User
- Scheme User
- SETL User
- SNOBOL4 User
- SQL User