This is my blog about constraint programming and related paradigms, e.g. news about and models in some of my favorite constraint programming languages (MiniZinc, Zinc, JaCoP, Choco, Gecode, Gecode/R, Comet, ECLiPSe, Minion/Tailor, SICStus Prolog, Numberjack, OscaR, AIMMS-CP, Google or-tools, B-Prolog, etc). See http://www.hakank.org/ for more about me (Hakan Kjellerstrand, hakank@gmail.com). Twitter: hakankj.
- The Picat book: Constraint Solving and Planning with Picat
- SweConsNet Workshop May 7th, 2015 (Chalmers, Gothenburg)
- Decision Management Community November 2014 Challenge: Who killed Agatha?
- JaCoP 4.1 released (with support for float variables)
- SweConsNet 2014: Call for presentations and participation (June13 2014, Kista, Sweden)
- CP 2014 (September 8-12 in Lyon, France)
- A first look at Picat programming language
- CP2013: Jacob Feldman blogs about the CP Solver workshop
- Charles Prod'homme blogs about developing Choco
- CP-2013: Presentation slides from the talks
- CP2013: Photos from the conference
- CP2013: Ian Gent blogs about the Lightning Model and Solve Competition
- CP-2013: The Conference Day 4 (Friday)
- CP-2013: Competition problems, rules, and instances
- CP-2013: The Conference Day 3 (Thursday)
- CP-2013: The Conference Day 2 (Wednesday)
- CP-2013: Photos so far (I)
- CP-2013: The real Conference Day 1 (Tuesday)
- CP-2013: Conference Day 1: Workshops
- CP-2013: Conference blogging
- All my public CP models are now available via GitHub
- CP-2013 (Uppsala, Sweden): Early registration deadline soon: 8 August
- Gecode version 4.1.0 released
- CP 2013: First International Lightning Model and Solve Competition
- Program for SweConsNet Workshop 2013 (Lund, 27 May 2013)
- CP-2013 Workshops
- CP-2013 CP Solver Workshop: Survey of CP Solvers
- CP-2013 Workshop "CP Solvers: Modeling, Applications, Integration, and Standardization" (Uppsala, Sweden)
- SweConsNet Workshop 2013 - Second call for presentations and participation
- The MiniZinc Challenge 2013 and other MiniZinc news
- Gecode version 4.0.0 released
- A first look at B-Prolog
- SweConsNet Workshop 2013 (Call for speakers)
- CP2013: Organization and Call for Papers
- Administratrivialities: Technorati claim
- A first look at AIMMS+CP (AIMMS with Constraint Programming)
- Beldiceanu and Simonis: A Model Seeker
- CP2013 (Constraint Programming Conference) will be held in Uppsala, 16 - 20 September 2013
- Results MiniZinc Challenge 2012
- A first look at OscaR (Scala in OR), former Scampi
- SweConsNet Workshop 2012 - including my presentation "Comparison of >= 14 CP systems - and counting"
- Manufacturing Cell Design Problem (MCDP): My first Constraint Programming related academic papers
- G12 MiniZinc version 1.5.1 released
- JaCoP version 3.2 released (bug fixes and Scala interface)
- MiniZinc Challenge 2012 is now underway
- Gecode version 3.7.3 released
- My talk about Constraint Programming at Google (Paris)
- G12 MiniZinc version 1.5 released
- Tom Schrijvers, Guido Tack et.al: Search Combinators - paper and implementation
- JSR-331 is now an official standard
- SweConsNet'12 (Örebro, Sweden, May 14th 2012)
- Talk at Google, Paris (France): My view on Constraint Programming
- Some newer models (most in MiniZinc, some in or-tools/C#)
- Gecode version 3.7.2 released
- G12 MiniZinc version 1.4.3 released
- A first look at Google or-tools C# interface
- G12 Zinc version 2.0 has been released
- Google or-tools supports .NET
- MiniZinc version 1.4.2 released
- MiniZinc version 1.4.1 released
- Gecode version 3.7.1 released
- Crossword construction in MiniZinc using table constraints - a small benchmark on "72 Gecode problems"
- G12 MiniZinc version 1.4 released
- MiniZinc Challenge 2011 Results
- Summary of new developments in Google or-tools
- Gecode version 3.7.0 released
- A first look at scalaJaCoP (Scala wrapper for JaCoP)
- Guido Tack: libmzn - a prototype implementation of a modular compilation architecture for MiniZinc
- Gecode version 3.6 released
- News from Google or-tools (CP solver)
- Global Constraint Seeker
- JaCoP version 3.1 is released
- MiniZinc Challenge 2011 announced
- Google or-tools has released support for LP/IP
- A first look at Google or-tools' Java interface
- Version 1.3.2 of G12 MiniZinc released
- A matching problem, a related seating problem, and some other seating problems
- SweConsNet Workshop 2011, announcement
- MiniZinc version 1.3 released
- JaCoP version 3.1 is released
- Gecode version 3.5 released
- FlatZinc solver fzn2smt 2.0 released
- Some new Answer Set Programming Programs
- Rogo grid puzzle in Answer Set Programming (Clingo) and MiniZinc
- INFORMS’ first Blog Challenge Results: OR and the Holidays
- Antoni Niederliński: A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
- A first look at Answer Set Programming
- Christmas Company Competition Problem: Mixing teams
- Global Constraint Catalog has been updated
- MiniZinc version 1.2.2 released
- JaCoP version 3.0 (final) is released
- MiniZinc version 1.2.1 released
- MiniZinc version 1.2: More about CP-Viz and some models changed
- MiniZinc version 1.2 released
- Google CP Solver: A much faster Nonogram solver using DefaultSearch
- Comparison of some Nonogram solvers: Google CP Solver vs Gecode and two MiniZinc solvers
- Google CP Solver: Regular constraint, Nonogram solver, nurse rostering, etc
- Some new Google CP Solver/Python models
- Gecode version 3.4.2 released
- Gecode version 3.4.1 released
- Improvements of some Google CP Solver models
- A first look at Google CP Solver/Python (Google or-tools)
- A first look at G12 Zinc: Basic learning models etc
- SICStus Prolog version 4.1.3 and SPIDER 0.0.23 released
- JSR-331 wins JCP Award “The Most Innovative JSR of 2010″
- Some exiting news today
- Results of MiniZinc Challenge 2010
- My updated models for JaCoP Version 3.0 (RC1)
- JaCoP version 3.0 (RC1) is released
- JaCoP is now available from SourceForge
- Nontransitive dice, Ormat game, 17x17 challenge
- MiniZinc version 1.1.6 released
- Jacob Feldman has started to blog about constraint programming standardization
- About 100 new Gecode models
- Changes of my Gecode models for version 3.4.0
- Gecode version 3.4 released
- Minizinc version 1.1.5 released
- Minizinc version 1.1.4 released
- Some new MiniZinc models
- Helmut Simonis' blog: Constraint Applications Blog
- Lightweight Dynamic Symmetry Breaking (LDSB) for Gecode
- MiniZinc version 1.1.3 released
- SweConsNet 2010 - some brief comments
- Two new tools for MiniZinc, and a paper
- Optimizing shopping baskets: The development of a MiniZinc model
- A modulo propagator for ECLiPSe/ic
- MiniZinc version 1.1.2 released
- Some 40 new ECLiPSe models
- SweConsNet 2010: Abstract for the presentations
- Gecode version 3.3.1 released
- Comet version 2.1.0 released
- MiniZinc Challenge 2010
- MiniZinc version 1.1.1 released
- Minion version 0.10 released
- MiniZinc version 1.1 released
- Gecode version 3.3.0 released
- Pi Day Sudoku 2009 - the models (MiniZinc and Comet)
- New book: Antoni Niederliński: Programowanie w logice z ograniczeniami ("Programming in Logic with Constraints")
- Survey of Nonogram Solvers updated: one addition is a JaCoP solver
- Tailor version 0.3.3 released
- Off topic II : My new English blog: Arrays in Flux
- Off topic: Eureqa - equation discovery with genetic programming
- Some new MiniZinc models, mostly Enigma problems
- Finding celebrities at a party
- 1 year anniversary and Secret Santa problem II
- Merry Christmas: Secret Santas Problem
- Some updated SICStus Prolog models
- Choco's new site
- SweConsNet 2010 (May 21, 2010 in Uppsala, Sweden)
- The Global Constraint Catalog has been updated
- SICStus Prolog 4.1 released and My SICStus Prolog page
- Gecode 3.2.2 released
- Update on Nonogram: Jan Wolter's Survey and my own new benchmark
- Gecode version 3.2.1 released
- Some new models, etc
- Comet version 2.0.1 released
- Gecode News Archive and RSS feed
- MiniZinc version 1.0.3 released
- Gecode: Modeling with Element for matrices -- revisited
- MiniZinc: All my public MiniZinc models are now at G12 Subversion repository
- Gecode version 3.2 released
- MiniZinc: 151 new Nonogram problem instances (from JaCoP)
- This weeks news
- MiniZinc Challenge 2009 Results
- A few new MiniZinc models, and a lot of improved
- At Twitter: http://twitter.com/hakankj
- JaCoP version 2.4 released
- At last 2: A Nonogram solver using regular written in "all MiniZinc"
- At last, a Nonogram solver using regular constraint in MiniZinc
- Comet version 2.0 released
- The MiniZinc Wiki
- Off topic: The Pop-11 programming language and Poplog environment
- Java Specification Requests JSR 331: Constraint Programming API
- JaCoP: a request from the developers (Knapsack and Geost) and Nonogram labeling
- Strimko - Latin squares puzzle with "streams"
- MiniZinc: Some new implemented global constraints (decompositions)
- MiniZinc: the lazy clause generation solver
- G12 MiniZinc version 1.0.2 released
- New Tailor version (v0.3.2) and My Essence'/Tailor page
- Common constraint programming problems
- 24 new ECLiPSe models
- 26 new ECLiPSe models, and some changed
- ECLiPSe now support MiniZinc version 1.0
- Comet version 2.0-Beta released
- MiniZinc version 1.0.1 released
- Some new ECLiPSe models, e.g. Minesweeper
- Constraint programming in ECLiPSe Constraint Programming System
- My old swedish blog posts about constraint programming translated (via Google)
- Miscellaneous news
- Scheduling with the cumulatives constraint in Gecode
- New constraint programming blog: Be-cool Blog
- Global Constraint Catalog, update
- MiniZinc Challenge 2009
- Report from SweConsNet2009, including my presentation
- Gecode version 3.1 released
- MiniZinc version 1.0 released!
- Learning Constraint Programming IV: Logical constraints: Who killed Agatha? revisited
- Learning Constraint Programming III: decomposition of a global constraint: alldifferent_except_0
- Learning constraint programming - part II: Modeling with the Element constraint
- Learning constraint programming (languages) - part I
- Comet: version 1.2-rev2 released and a facelift of the site
- Regular expressions in Gecode
- 12 more Gecode models. e.g. circuit, clique, and Hidato puzzle
- My talk at SweConsNet Workshop 2009: "Learning Constraint Programming (MiniZinc, JaCoP, Choco, Gecode/R, Comet, Gecode): Some Lessons Learned"
- Some new Gecode models
- MiniZinc/FlatZinc support in SICStus Prolog version 4.0.5
- de Bruijn sequences in Gecode (and other systems)
- Gecode version 3.0.2 released
- My first Gecode models
- Gecode version 3.0.1 and Gecode/FlatZinc 1.5 released
- Comet version 1.2 released
- Gecode: Guido Tack 'Constraint Propagation - Models, Techniques, Implementation'
- SweConsNet Workshop 2009
- Solving Pi Day Sudoku 2009 with the global cardinality constraint
- Gecode version 3.0.0 released
- MiniZinc Challenge 2008 Results
- Pi Day Sudoku 2009
- Comet: About 15 new Comet models
- Comet: Nonogram improved: solving problem P200 from 1:30 minutes to about 1 second
- Comet: regular constraint, a much faster Nonogram with the regular constraint, some OPL models, and more
- Comet: New models, e.g. Einstein puzzle, KenKen, Kakuro, Killer Sudoku, Stigler's Diet problem, translations of OPL models
- JaCoP: Features request for version 2.4
- Minion version 0.8 released
- More Comet models, e.g. Nonogram, Steiner triplets, and different set covering problems
- About 20 more constraint programming models in Comet
- Some of my models now at the Gecode/R site
- Some Comet constraint programming (CP) models
- Comet version 1.1
- New Gecode/R models: langford, all_interval, alpha, golomb_ruler and some more
- Nonogram in Gecode/R
- Some other Gecode/R models, mostly recreational mathematics
- Some models in Gecode/R (Ruby interface to Gecode)
- Map coloring problem: Lichtenstein
- Tom Schrijvers: "Monadic Constraint Programming" (in Haskell)
- Some constraint programming news
- Temporal reasoning model in MiniZinc
- Welcome to my My Constraint Programming Blog