Skip to content

Commit

Permalink
Exact does not support solveAll with objective
Browse files Browse the repository at this point in the history
  • Loading branch information
JoD committed Jun 27, 2023
1 parent 5dbe9e1 commit 06f09c3
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion cpmpy/solvers/exact.py
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@
from ..transformations.reification import only_bv_implies, reify_rewrite
from ..transformations.normalize import toplevel_list
from ..expressions.globalconstraints import DirectConstraint
from ..exceptions import NotSupportedError
import numpy as np
import numbers

Expand Down Expand Up @@ -215,7 +216,7 @@ def solveAll(self, display=None, time_limit=None, solution_limit=None, call_from
Returns: number of solutions found
"""
if self.objective_given:
raise NotImplementedError("Exact does not yet support finding all *optimal* solutions.")
raise NotSupportedError("Exact does not support finding all optimal solutions.")

if not self.solver_is_initialized:
# NOTE: initialization of exact is also how it fixes the objective function.
Expand Down

0 comments on commit 06f09c3

Please sign in to comment.