diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:41:22 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-06 12:41:22 +0200 |
| commit | 5d47b74d949fd8647e2071f55b264a003a83e8b1 (patch) | |
| tree | 53937d3bb79198b04242511ea858d8eebb1643d5 /prolog/problems/clp_fd/puzzle_beth_1 | |
| parent | db0a1f751d0d0859320b65510fe14367524fd3d3 (diff) | |
Prolog: renumber and fix CLP(FD) problems
Diffstat (limited to 'prolog/problems/clp_fd/puzzle_beth_1')
| -rw-r--r-- | prolog/problems/clp_fd/puzzle_beth_1/common.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/clp_fd/puzzle_beth_1/common.py b/prolog/problems/clp_fd/puzzle_beth_1/common.py index dd24bb6..e187cc9 100644 --- a/prolog/problems/clp_fd/puzzle_beth_1/common.py +++ b/prolog/problems/clp_fd/puzzle_beth_1/common.py @@ -3,8 +3,8 @@ import prolog.engine import server.problems id = 155 -number = 56 -visible = False +number = 10 +visible = True facts = None solution = '''\ |