ToySolver.CAD

Basic data structures

data Point c

data Cell c

Projection

project

Solving

solve

solve'

Model

type Model v

findSample

evalCell

evalPoint