7 lines
273 B
MiniZinc
7 lines
273 B
MiniZinc
% Report the status of the solver (before restarting).
|
|
enum STATUS = {START, UNKNOWN, UNSAT, SAT, OPT} @\label{ann:enum_status}@
|
|
function STATUS: status(); @\label{ann:status}@
|
|
|
|
% Provide access to the last assigned value of variable x.
|
|
function int: last_val(var int: x);
|