ToySolver.Arith.CAD

Basic data structures

data Point c

data Cell c

Projection

project

project'

projectN

projectN'

Solving

solve

solve'

Model

type Model v

findSample

evalCell

evalPoint