Declares a Boolean 0/1 variable domain.
Declares an integer variable domain with inclusive i32 bounds.
Declares an unbounded or explicitly bounded real variable domain.
Declares an unbounded or explicitly bounded real variable domain.
Declares an unbounded-above or explicitly bounded non-negative real.
Declares an unbounded-above or explicitly bounded non-negative real.
Declares one variable or a generated array of variables.
Declares a record of variables while preserving every input key and type.
Adds a numeric comparison or a Boolean expression that must be true.
Optionalname: stringAdds every constraint or Boolean assertion from an iterable.
Clears the objective and makes this a feasibility model.
Serializes the complete typed model to deterministic ROOC source.
Solves the current model synchronously through an existing WASM solver.
Builds a typed optimization model and serializes it through ROOC's existing parser, linearizer, and solvers.