correct Hakan email address

This commit is contained in:
Laurent Perron
2018-02-19 15:21:05 +01:00
parent d3bd654c28
commit 2c8a97e994
154 changed files with 268 additions and 268 deletions

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -24,7 +24,7 @@
Compare with the CP model:
http://www.hakank.org/google_or_tools/3_jugs_regular
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -42,7 +42,7 @@
* Gecode: http://www.hakank.org/gecode/3_jugs2.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -59,7 +59,7 @@
* Gecode : http://hakank.org/gecode/a_round_of_golf.cpp
* SICStus : http://hakank.org/sicstus/a_round_of_golf.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -45,7 +45,7 @@
* SICStus : http://www.hakank.org/sicstus/all_interval.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -43,7 +43,7 @@
* JaCoP: http://hakank.org/JaCoP/AllDifferentExcept0_test.java
* Zinc: http://hakank.org/minizinc/alldifferent_except_0.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -39,7 +39,7 @@
Compare with the following model:
* Zinc: http://www.hakank.org/minizinc/alphametic.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -27,7 +27,7 @@
* Tailor/Essence': http://www.hakank.org/tailor/assignment.eprime
* SICStus: http://hakank.org/sicstus/assignment.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -36,7 +36,7 @@
http://www.hakank.org/comet/assignment6.co
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -18,7 +18,7 @@
From the OPL model blending.mod.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -43,7 +43,7 @@
* Gecode: http://www.hakank.org/gecode/broken_weights.cpp
* Comet: http://hakank.org/comet/broken_weights.co
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -29,7 +29,7 @@
* Tailor/Essence' : http://www.hakank.org/tailor/bus_schedule.eprime
* SICStus: http://hakank.org/sicstus/bus_schedule.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -25,7 +25,7 @@
* MiniZinc: http://hakank.org/minizinc/car.mzn
* Comet: http://hakank.org/comet/car.co
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -36,7 +36,7 @@
* Gecode: http://www.hakank.org/gecode/circuit_orbit.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
* SICStus : http://hakank.org/sicstus/coins3.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -49,7 +49,7 @@
* Gecode/R: http://hakank.org/gecode_r/coins_grid.rb
* JaCoP: http://hakank.org/JaCoP/CoinsGrid.java
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -36,7 +36,7 @@
http://www.hakank.org/google_or_tools/coins_grid.py
and use
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
Compare with the MiniZinc model:
http://www.hakank.org/minizinc/coloring_ip.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -27,7 +27,7 @@
* MiniZinc: http://hakank.org/minizinc/combinatorial_auction.mzn
* Gecode: http://hakank.org/gecode/combinatorial_auction.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -35,7 +35,7 @@
Compare with the following model:
* MiniZinc: http://www.hakank.org/minizinc/contiguity_regular.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -56,7 +56,7 @@
872, 200, 88, 56, 204,...
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -52,7 +52,7 @@
* Gecode: http://hakank.org/gecode/covering_opl.cpp
* SICStus: http://hakank.org/sicstus/covering_opl.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -34,7 +34,7 @@
* SICStus : http://hakank.org/sicstus/crew.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -53,7 +53,7 @@
* SICStus: http://hakank.org/sicstus/crossword2.pl
* Zinc: http://hakank.org/minizinc/crossword2.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -40,7 +40,7 @@
* Gecode: http://hakank.org/gecode/crypta.cpp
* SICStus: http://hakank.org/sicstus/crypta.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -39,7 +39,7 @@
* SICStus : http://hakank.org/sicstus/crypta.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -55,7 +55,7 @@
* SICStus : http://hakank.org/sicstus/crypta.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -38,7 +38,7 @@
* Gecode/R: http://hakank.org/gecode_r/debruijn_binary.rb
* JaCoP: http://hakank.org/JaCoP/DeBruijn.java
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -40,7 +40,7 @@
* JaCoP: http://hakank.org/JaCoP/Diet.java
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -42,7 +42,7 @@
This version use ScalProd() instead of Sum().
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -31,7 +31,7 @@
http://www.hakank.org/google_or_tools/diet1.py
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -50,7 +50,7 @@
* Tailor/Essence': http://www.hakank.org/tailor/tomography.eprime
* SICStus: http://hakank.org/sicstus/discrete_tomography.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -47,7 +47,7 @@
* Gecode : http://www.hakank.org/gecode/divisible_by_9_through_1.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -59,7 +59,7 @@
decision variables as this version.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -60,7 +60,7 @@
Thanks!
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -23,7 +23,7 @@
* ECLiPSe: http://hakank.org/eclipse/eq10.ecl
* SICStus: http://hakank.org/sicstus/eq10.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -23,7 +23,7 @@
* ECLiPSe: http://hakank.org/eclipse/eq20.ecl
* SICStus: http://hakank.org/sicstus/eq20.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -47,7 +47,7 @@
* http://www.hakank.org/google_or_tools/minesweeper.py
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -32,7 +32,7 @@
* Zinc: http://hakank.org/minizinc/furniture_moving.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -41,7 +41,7 @@
* Gecode: http://hakank.org/gecode/futoshiki.cpp
* SICStus: http://hakank.org/sicstus/futoshiki.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -20,7 +20,7 @@
From Taha, Operations Research (8'th edition), page 528.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -32,7 +32,7 @@
* Comet: http://hakank.org/comet/grocery.co
* Zinc: http://hakank.org/minizinc/grocery.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -37,7 +37,7 @@
Note: This model is very slow. Please see Laurent Perron's much faster
(and more elegant) model: hidato_table.py .
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -41,7 +41,7 @@
* ECLiPSe: http://hakank.org/eclipse/just_forgotten.ecl
* Gecpde: http://hakank.org/gecode/just_forgotten.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -51,7 +51,7 @@
* ECLiPSe: http://www.hakank.org/eclipse/kakuro.ecl
* Gecode: http://www.hakank.org/gecode/kenken2.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -52,7 +52,7 @@
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -63,7 +63,7 @@
* Gecode: http://www.hakank.org/gecode/killer_sudoku.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -18,7 +18,7 @@
Simple knapsack problem.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -18,7 +18,7 @@
From the OPL model knapsack.mod
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -43,7 +43,7 @@
* Zinc : http://hakank.org/minizinc/labeled_dice.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -40,7 +40,7 @@
* SICStus: http://hakank.org/sicstus/langford.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
* SICStus : http://www.hakank.org/sicstus/least_diff.pl
* Zinc : http://hakank.org/minizinc/least_diff.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_cp_solver/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -21,7 +21,7 @@
From the Swedish book 'Optimeringslara' [Optimization Theory],
page 286f.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -40,7 +40,7 @@
* Gecode: http://hakank.org/gecode/lectures.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -18,7 +18,7 @@
Magic square problem.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -24,7 +24,7 @@
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -38,7 +38,7 @@
using an output_matrix (much longer).
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -29,7 +29,7 @@
* MiniZinc: http://hakank.org/minizinc/map.mzn
* Zinc: http://hakank.org/minizinc/map.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -43,7 +43,7 @@
* Gecode: http://hakank.org/gecode/marathon2.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -24,7 +24,7 @@
Compare with the following model:
* MiniZinc: http://www.hakank.org/minizinc/max_flow_taha.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -24,7 +24,7 @@
* Comet: http://hakank.org/comet/max_flow_winston1.co
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -59,7 +59,7 @@
* Tailor/Essence': http://www.hakank.org/tailor/minesweeper.eprime
* Zinc: http://www.hakank.org/minizinc/minesweeper.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -43,7 +43,7 @@
* MiniZinc: http://www.hakank.org/minizinc/mr_smith.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com, lperron@google.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com, lperron@google.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -61,7 +61,7 @@
* MiniZinc: http://www.hakank.org/minizinc/nonogram_create_automaton2.mzn
Note: nonogram_create_automaton2.mzn is the preferred model
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -61,7 +61,7 @@
* MiniZinc: http://www.hakank.org/minizinc/nonogram_create_automaton2.mzn
Note: nonogram_create_automaton2.mzn is the preferred model
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -61,7 +61,7 @@
* MiniZinc: http://www.hakank.org/minizinc/nonogram_create_automaton2.mzn
Note: nonogram_create_automaton2.mzn is the preferred model
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -63,7 +63,7 @@
* Comet: http://hakank.org/comet/nontransitive_dice.co
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -18,7 +18,7 @@
N queens problem.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -21,7 +21,7 @@
This version use NewSearch()/NextSolution() for looping through
the solutions.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -23,7 +23,7 @@
- http://www.hakank.org/gogle_cp_solver/nqueens2.py
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -24,7 +24,7 @@
- no 3 nights in a row.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -52,7 +52,7 @@
* Gecode: http://hakank.org/gecode/olympic.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -28,7 +28,7 @@
* Comet: http://www.hakank.org/comet/organize_day.co
* Gecode: http://hakank.org/gecode/organize_day.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -30,7 +30,7 @@
* MiniZinc: http://hakank.org/minizinc/p_median.mzn
* Comet: http://hakank.org/comet/p_median.co
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -56,7 +56,7 @@
* ECLiPSe : http://hakank.org/eclipse/pandigital_numbers.ecl
* SICStus : http://hakank.org/sicstus/pandigital_numbers.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -42,7 +42,7 @@
* Comet: http://hakank.org/comet/photo_problem.co
* SICStus: http://hakank.org/sicstus/photo_problem.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -35,7 +35,7 @@
* SICStus Prolog: http://www.hakank.org/sicstus/place_number_puzzle.pl
* Gecode: http://www.hakank.org/gecode/place_number_puzzle.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -50,7 +50,7 @@
* Gecode: http://www.hakank.org/gecode/post_office_problem2.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -18,7 +18,7 @@
From the OPL model production.mod.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -49,7 +49,7 @@
* SICStus: http://hakank.org/sicstus/quasigroup_completion.pl
* Zinc: http://hakank.org/minizinc/quasigroup_completion.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
0*1{3}0+1{2}0+1{1}0*
using an array of size 10.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
0*1{3}0+1{2}0+1{1}0*
using an array of size 10.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
0*1{3}0+1{2}0+1{1}0*
using an array of size 10.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2011 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2011 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -40,7 +40,7 @@
http://www.hakank.org/answer_set_programming/rogo2.lp
* MiniZinc: http://www.hakank.org/minizinc/rogo2.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -41,7 +41,7 @@
* SICStus : http://www.hakank.org/sicstus/safe_cracking.pl
* Gecode: http://hakank.org/gecode/safe_cracking.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -25,7 +25,7 @@
* ECLiPSe: http://hakank.org/eclipse/scheduling_speakers.ecl
* Gecode: http://hakank.org/gecode/scheduling_speakers.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -56,7 +56,7 @@
- branches: 8241726
- WallTime: 23735 ms (note: without any printing of the solutions)
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -57,7 +57,7 @@
* MiniZinc: http://www.hakank.org/minizinc/secret_santa2.mzn
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -37,7 +37,7 @@
* SICStus: http://www.hakank.org/sicstus/send_more_money_any_base.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -33,7 +33,7 @@
* Zinc: http://www.hakank.org/minizinc/send_most_money.zinc
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -50,7 +50,7 @@
* JaCoP: http://hakank.org/JaCoP/Seseman.java
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -52,7 +52,7 @@
This version use a better way of looping through all solutions.
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -26,7 +26,7 @@
* SICStus : http://www.hakank.org/sicstus/set_covering.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -28,7 +28,7 @@
* SICStus: http://hakank.org/sicstus/set_covering2.pl
* Gecode: http://hakank.org/gecode/set_covering2.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -41,7 +41,7 @@
* Gecode : http://hakank.org/gecode/set_covering3.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -61,7 +61,7 @@
* Gecode : http://www.hakank.org/gecode/set_covering4.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -34,7 +34,7 @@
* ECLiPSe : http://www.hakank.org/eclipse/set_covering_deployment.ecl
* SICStus : http://hakank.org/sicstus/set_covering_deployment.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
@@ -35,7 +35,7 @@
* Gecode: http://hakank.org/gecode/set_covering_skiena.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -41,7 +41,7 @@
* ECLiPSe: http://hakank.org/eclipse/set_partition.ecl
* SICStus: http://hakank.org/sicstus/set_partition.pl
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

View File

@@ -1,4 +1,4 @@
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
# Copyright 2010 Hakan Kjellerstrand hakank@gmail.com
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -55,7 +55,7 @@
* MiniZinc: http://hakank.org/minizinc/sicherman_dice.mzn
* Gecode: http://hakank.org/gecode/sicherman_dice.cpp
This model was created by Hakan Kjellerstrand (hakank@bonetmail.com)
This model was created by Hakan Kjellerstrand (hakank@gmail.com)
Also see my other Google CP Solver models:
http://www.hakank.org/google_or_tools/
"""

Some files were not shown because too many files have changed in this diff Show More