Right now it is confusing what "SAT" problem type means as we don't differentiate between wanted instance type and the problem types (whether it's an optimisation problem -- scripts/evaluators/mzn_graded.py, minizinc_utils.py, probably discriminating as well)
Right now it is confusing what "SAT" problem type means as we don't differentiate between wanted instance type and the problem types (whether it's an optimisation problem -- scripts/evaluators/mzn_graded.py, minizinc_utils.py, probably discriminating as well)