lib(ic)

   Hybrid integer/real interval arithmetic constraint solver

