diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-05-09 18:24:13 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-05-09 18:24:13 +0200 |
| commit | 973959c7eae7e8fef28eef966822337330a42cac (patch) | |
| tree | 41751eab3a964dcfecfc78579b13294bd50a67a3 /libs/ezsat/puzzle3d.cc | |
| parent | bfd62268cc6a6115c540a0386c02301cd1ee2e22 (diff) | |
| parent | 51a615b26d95eddb39e7389d431c0ab7002d52bb (diff) | |
| download | yosys-973959c7eae7e8fef28eef966822337330a42cac.tar.gz yosys-973959c7eae7e8fef28eef966822337330a42cac.tar.bz2 yosys-973959c7eae7e8fef28eef966822337330a42cac.zip | |
Merge branch 'master' of github.com:cliffordwolf/yosys
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 56d293260..aee0044b4 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) |