One of my (other) Julia-related interests is Ole Kröger’s Home · ConstraintSolver .
My ConstraintSolver.jl models are here: My Julia ConstraintSolver.jl page , also available at https://github.com/hakank/hakank/tree/master/julia/constraints .
The page contains about 120 constraint models, such as these mandatory CSP problems:
- N-queens: http://www.hakank.org/julia/constraints/nqueens.jl
- Sudoku: http://www.hakank.org/julia/constraints/sudoku.jl and the instances: http://www.hakank.org/julia/constraints/sudoku_problems.jl
- SEND+MORE=MONEY: http://www.hakank.org/julia/constraints/send_more_money.jl Generalized in the Alphametic model: http://www.hakank.org/julia/constraints/alphametic.jl
- Zebra puzzle: http://www.hakank.org/julia/constraints/zebra.jl
- Magic Squares: http://www.hakank.org/julia/constraints/magic_square.jl
- Magic Sequence: http://www.hakank.org/julia/constraints/magic_sequence.jl
- Golomb ruler: http://www.hakank.org/julia/constraints/golomb_ruler.jl
- Scheduling problem: http://www.hakank.org/julia/constraints/furniture_moving.jl
- Minesweeper problem: http://www.hakank.org/julia/constraints/minesweeper.jl
But also some that’s not very common problems:
- deBruijn sequences (both “classical” and “arbitrary”): http://www.hakank.org/julia/constraints/debruijn.jl
- A Puzzle: http://www.hakank.org/julia/constraints/a_puzzle.jl
- Secret Santa: http://www.hakank.org/julia/constraints/secret_santa.jl and Secret Santa 2: http://www.hakank.org/julia/constraints/secret_santa2.jl
- Sicherman Dice: http://www.hakank.org/julia/constraints/sicherman_dice.jl
- Balanced brackets: http://www.hakank.org/julia/constraints/balanced_brackets.jl
And here are some of the (decomposition) of global constraints that’s missing in ConstraintsSolver.jl (available in http://www.hakank.org/julia/constraints/constraints_utils.jl ):
all_different_except_c
my_element
global_cardinality_count
cumulative
-
circuit
andcircuit_path
regular
-
atmost
,atleast
, andexactly
global_contiguity_regular
[I’ve also implemented constraint models in other constraint programming languages/systems, see my “Common constraint programming models” for some examples: http://www.hakank.org /common_cp_models/ ]