Library for constraint programming with arithmetic constraints over reals.
(+.)
:: Float > Float > Float
Addition on floats in arithmetic constraints. 
(.)
:: Float > Float > Float
Subtraction on floats in arithmetic constraints. 
(*.)
:: Float > Float > Float
Multiplication on floats in arithmetic constraints. 
(/.)
:: Float > Float > Float
Division on floats in arithmetic constraints. 
(<.)
:: Float > Float > Bool
"Less than" constraint on floats. 
(>.)
:: Float > Float > Bool
"Greater than" constraint on floats. 
(<=.)
:: Float > Float > Bool
"Less than or equal" constraint on floats. 
(>=.)
:: Float > Float > Bool
"Greater than or equal" constraint on floats. 
i2f
:: Int > Float
Conversion function from integers to floats. 
minimumFor
:: (a > Bool) > (a > Float) > a
Computes the minimum with respect to a given constraint. 
minimize
:: (a > Bool) > (a > Float) > a > Bool
Minimization constraint. 
maximumFor
:: (a > Bool) > (a > Float) > a
Computes the maximum with respect to a given constraint. 
maximize
:: (a > Bool) > (a > Float) > a > Bool
Maximization constraint. 
Addition on floats in arithmetic constraints.

Subtraction on floats in arithmetic constraints.

Multiplication on floats in arithmetic constraints.

Division on floats in arithmetic constraints.

"Less than" constraint on floats.

"Greater than" constraint on floats.

"Less than or equal" constraint on floats.

"Greater than or equal" constraint on floats.

Conversion function from integers to floats. Rigid in the first argument, i.e., suspends until the first argument is ground. 
Computes the minimum with respect to a given constraint. (minimumFor g f) evaluates to x if (g x) is satisfied and (f x) is minimal. The evaluation fails if such a minimal value does not exist. The evaluation suspends if it contains unbound nonlocal variables.

Minimization constraint. (minimize g f x) is satisfied if (g x) is satisfied and (f x) is minimal. The evaluation suspends if it contains unbound nonlocal variables. 
Computes the maximum with respect to a given constraint. (maximumFor g f) evaluates to x if (g x) is satisfied and (f x) is maximal. The evaluation fails if such a maximal value does not exist. The evaluation suspends if it contains unbound nonlocal variables.

Maximization constraint. (maximize g f x) is satisfied if (g x) is satisfied and (f x) is maximal. The evaluation suspends if it contains unbound nonlocal variables. 