Constraints compile. Removed orSearch (sorry).
Added solver files.
Merge pull request #28 from niode/nathan

Constraints compile. Removed orSearch (sorry). Moved solver stuff to the solver package.