Implement the remaining modes of reasoning in nsolve, and thus
[sgt/puzzles] / osx.icns
2005-01-23 simonAdded a framework for putting things other than the...