" /> My Constraint Programming Blog: August 2013 Archives

« July 2013 | Main | September 2013 »

August 08, 2013

All my public CP models are now available via GitHub

Yesterday I finalized the first round of making all my public CP models - as well as many other programs - available via GitHub: https://github.com/hakank/hakank. All is available from my site http://www.hakank.org/, but it is easier for other to fetch them from a single repository instead of downloading each single file.

Here's a summary of the directories so far. Most of the directories has the same name as on my site (with some few exceptions).

Statistics:

As of writing the repository has these statistics (according to GitHub):
1 author has pushed 
42 commits to all branches, excluding merges. 
On master, 5,747 files have changed and there have been 
2,417,980 additions and 1 deletions. 
The "2,417,980 additions" is the total number of lines in these files.

Let's start with the CP systems. After that follows some non-CP systems.

Constraint Programming systems (and related paradigms)

  • aimms: AIMMS system, linear/integer programming and constraint programming
  • ampl: AMPL, integer/linear programming and constraint programming
  • answer_set_programming : Answer Set Programming
  • bprolog: B-Prolog, logic programming, constraint programming, tabling, loops etc
  • choco3: Choco v3, constraint programming
  • comet: Comet, constraint programming, linear/integer programming, constraint-based local search
  • eclipse_clp: ECLiPSe CLP, Prolog, logic programming, constraint programming, loops etc
  • essence_savile_row: Essence'/Saville Row, constraint programming
  • essence_tailor: Essence'/Tailor, constraint programming
  • gecode: Gecode, constraint programming
  • gecode_r Gecode/R, Ruby interface to Gecode
  • google_or_tools: Google or-tools, constraint programming, integer/linear programming, Java, Python, and C#
  • jacop: JaCoP and JaCoP/Scala, constraint programming
  • jsr_331: JSR-331, Java API for constraint programming
  • minizinc: MiniZinc, constraint programming. Also G12 Zinc files.
  • numberjack: Numberjack, constraint programming
  • oocalc_excel: oocalc/Excel, some few linear/integer programming models
  • oscar: OscaR, constraint programming
  • picat: PICAT, constraint programming, logic programming, loops, tabling, etc
  • sicstus: SICStus Prolog, constraint programming, logic programming, loops. etc

Non-CP systems, mostly Very High Level programming languages/systems

  • apl: APL (note: index.html contains codes etc)
  • frink: Frink, high level programming language
  • j: J array programming language J (note: index.html contains code etc)
  • k: K, array programming language (note: index.html contains code etc)
  • mathematica: Mathematica, mathematical programming
  • pddl: PDDL (planning language)
  • perl6: Perl6 programming language
  • poplog: Poplog Pop-11 high-level programming language
  • sabr: SABR, constraint-based planning language
  • setlx: SETL and SetlX, high level programming language
  • unicon: Unicon/Icon, high level programming language

Non-CP systems, data mining/machine learning

  • eureqa: Eureqa/Formulize, genetic programming
  • jgap: JGAP, genetic programming
  • weka: Weka, data mining/machine learning, Java files, HTML, and data files (ARFF and CSV)
Some comments:
  • There are some duplicates, especially data files that is included in several system directories
  • I'll try to keep this repository as updated as possible, but there might be some time lag since I will probably not update each single new model.
  • There is no guarantee that models/programs will work with the latest version of a specific system. However - for some systems at least - I tend to keep up with major releases.
  • All directories include the latest index.html file from my site. Also, some directory just contain that file (and perhaps some single other file), e.g. for APL, K, J, and Mathematica.
  • This was the first round of making things available. Later on I might publish some of the code from http://www.hakank.org/useless/ (i.e. my "useless programs").
Hope you will enjoy it!

August 06, 2013

CP-2013 (Uppsala, Sweden): Early registration deadline soon: 8 August

Just a short notice that the early registration of CP 2013 (Uppsala, Sweden) has a deadline very soon: 8 August. The not so early registration is a month away...

From the Call for Participation:
CP 2013 Nineteenth International Conference on Principles and Practice of Constraint Programming Uppsala, Sweden September 16-20, 2013
Also, see the full conference program.