My JSR-331 page
JSR-331 ("Java Constraint Programming API") is a Java Specification Request that is being developed under the terms of the main Java standardization body www.JCP.org.
Links
Utilities
Here are some utilities I use in my Linux box:
- compileProgram.sh: Compile a JSR-331 program in sample directory (PATH:s may have to be changed)
- runProgram.sh: Run a JSR-331 program in sample directory (PATH:s may have to be changed)
- compileProgram_local.sh: Compile a JSR-331 program in current directory (PATH:s must be changed)
- runProgram_local.sh: Run a JSR-331 program in current directory (PATH:s must be changed)
My JSR-331 models
Below are some of my models for JSR-331. Explanations, references, and inspirations are in each specific file. Many of these - if not all - are included in the recent JSR-331 distribution (in org/jcp/jsr331/hakan).
Also see My Constraint Programming Blog
* Constraint Programming
* Common constraint programming problems
* My JaCoP page
* My JaCoP/Scala page
* My Choco page
* My MiniZinc page
* My Zinc page
* My Gecode/R page
* My Comet page
* My Gecode page
* My ECLiPSe CLP page
* My Tailor/Essence' page
* My SICStus Prolog page
* My Google or-tools page
* My OscaR page
* My Numberjack page
* My AIMMS+CP page
* My B-Prolog page
* My Choco3 page
* My Picat page
* My z3/python page
* My SWI-Prolog page
Back to my homepage
Created by Hakan Kjellerstrand hakank@gmail.com