diff options
Diffstat (limited to 'libs/ezsat/puzzle3d.cc')
-rw-r--r-- | libs/ezsat/puzzle3d.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/puzzle3d.cc b/libs/ezsat/puzzle3d.cc index 1655e697..56d29326 100644 --- a/libs/ezsat/puzzle3d.cc +++ b/libs/ezsat/puzzle3d.cc @@ -255,7 +255,7 @@ int main() ez.assume(ez.ordered(vecvec[0], vecvec[1])); printf("Found and eliminated %d spatial symmetries.\n", int(symmetries.size())); - printf("Generated %d clauses over %d variables.\n", ez.numCnfVariables(), int(ez.cnf().size())); + printf("Generated %d clauses over %d variables.\n", ez.numCnfClauses(), ez.numCnfVariables()); std::vector<int> modelExpressions; std::vector<bool> modelValues; |