Parent-Version:      0.98
Version-Log:

source/solver.ml:
source/rnumsolver.mli,.ml:
source/constraint.ml,.mli:
   Split the Constraint.t type into t and ineq where
   inequalities are in ineq. The rational is that most
   operations on constaint.t are actually done on ineq.
   This change therefore avoid pattern like
   <<_ -> assert false>> and let the type checher check
   that sort of things.

Project-Description: Lurette