summaryrefslogtreecommitdiff
path: root/libs/ezsat/puzzle3d.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-05-06 13:48:25 +0200
committerClifford Wolf <clifford@clifford.at>2014-05-06 13:48:25 +0200
commit30774ec6bc732478cce1a5ceff5f666893c416a6 (patch)
tree2f4773aa1ec15abffd1ebffa1dd0ba0b3c8703a3 /libs/ezsat/puzzle3d.cc
parenta5a519a9d15f188b93723c84890d6005d2e9c4be (diff)
Improved ezsat stand-alone tests
Diffstat (limited to 'libs/ezsat/puzzle3d.cc')
-rw-r--r--libs/ezsat/puzzle3d.cc4
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)