Next:
Motivation
Up:
ECLiPSe Library Manual Release
Previous:
Error Handling
 
Index
FDPLEX: A Hybrid Finite Domain / Simplex Solver
Motivation
Usage
Functionality
FDPLEX Predicates
minimize(+Goal, +Expr) and min_max(+Goal, +Expr)
indomain(+Var)
labeling(+VarList)
split_domain(+Var)
split_labeling(+VarList)
extract_lp_from_fd(-Constraints)
extract_lp_from_fd_norm(-NormConstraints)
fdplex_statistics([Backtracks, SolverCalls, SolverFails, SolverBound])
1999-08-06