Solver logic finished.

Methods isClose(), computeFromTri() and computeFromLine() are still dummies.