rminizinc (version 0.0.4)

mzn_eval: MiniZinc model evaluation

Description

evaluates the MiniZinc model

Usage

mzn_eval(
  lib_path = "",
  r_model = NULL,
  mzn_path = "",
  model_string = "",
  solver = "org.gecode.gecode",
  dzn_path = "",
  all_solutions = TRUE,
  time_limit = 300000L
)

Arguments

lib_path

the path of the library where the solver is present.

r_model

R6 Model object

mzn_path

path of the mzn file to be solved

model_string

model string to be solved.

solver

the name of the solver to use.

dzn_path

path of the datafile to be used.

all_solutions

bool to specify if all solutions are specified.

time_limit

stop after <time_limit> milliseconds