Next:
Motivation
Up:
ECLiPSe Constraint Library Manual
Previous:
Solver Specific Information
Index
FDPLEX: A Hybrid Finite Domain / Simplex Solver
Motivation
Usage
Functionality
FDPLEX Constraints
fdplex: (?Vars :: ++Lo..++Hi)
fdplex: (?T1 #= ?T2)
fdplex: (?T1 #>= ?T2)
fdplex: (?T1 #=< ?T2)
fdplex: (?T1 #> ?T2)
fdplex: (?T1 #< ?T2)
Search Predicates
minimize(+Goal, +Expr) and min_max(+Goal, +Expr)
indomain(+Var)
labeling(+VarList)
split_domain(+Var)
split_labeling(+VarList)
fdplex_statistics([Backtracks, SolverCalls, SolverFails, SolverBound])
Warwick Harvey
2002-05-15
