ToySolver.BoundsInference

type BoundsEnv r

inferBounds

computeInterval