diff options
Diffstat (limited to 'libs/ezsat/puzzle3d.cc')
| -rw-r--r-- | libs/ezsat/puzzle3d.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libs/ezsat/puzzle3d.cc b/libs/ezsat/puzzle3d.cc index 56d29326..aee0044b 100644 --- a/libs/ezsat/puzzle3d.cc +++ b/libs/ezsat/puzzle3d.cc @@ -260,8 +260,10 @@ int main() std::vector<int> modelExpressions; std::vector<bool> modelValues; - for (auto &it : blockinfo) + for (auto &it : blockinfo) { + ez.freeze(it.first); modelExpressions.push_back(it.first); + } int solution_counter = 0; while (1) |