Is there a MiniZinc Predicate to model time-dependant resource bounds (like cumulative)?...
Read MoreHow can I improve the speed of solution of Set Covering problem with MiniZinc?...
Read MoreCardinality constraints in MiniZinc...
Read MoreNeed review of scheduling model logic, suggestions for constraint creation and fixes for syntax erro...
Read MoreSpecifying only a single index of a 1D array in a data file...
Read MoreConstraint Programming: Scheduling with multiple workers...
Read MoreHaving trouble understanding how to express real world problem to opensolver or minizinc for worker ...
Read MoreMinzinc: Applying a constraint on each row of a 2D-array...
Read MoreMiniZinc does not find a solution to the scheduling problem...
Read MoreMiniZinc: type error: no function or predicate with this signature found: `floor(var int)'...
Read MoreMinimum and Maximum float value in MiniZinc...
Read MoreOptimization Problem of a Single Lessons Scheduling Model...
Read MoreDo Gecode and G12 (MIP) use infinite precision arithmetic?...
Read MoreWhat are these `float_div` and `float_times` constraints in the FlatZinc file?...
Read MoreCan subset of SimCity ( BuildIt) economy expressed in Minizinc?...
Read MoreHow to obtain an exact infinite-precision representation of rational numbers via a non-standard Flat...
Read MoreMinizinc "cannot determine lower bound" for float...
Read MoreHow to correct Knapsack compiling error MiniZinc?...
Read MoreMinizinc: output continuously values of a decision variable set of int...
Read MoreMiniZinc CSP into JSON - iteration in arrays workaround javascript...
Read MoreMinizinc simpler approach for an array Model?...
Read MoreTime limit imposed in command line does not seem to constraint run time...
Read MoreCalling minizinc from cpp program...
Read Moreis there a way to provide search annotation in minizinc predicate?...
Read MoreMinizinc: Relax constraints when inconsistency found...
Read MoreMiniZinc decision variable non contiguous range...
Read MoreMiniZinc: Obtain a super set of array of sets...
Read More