Solver description

The solver was fully specified but its technical details (in particular
the specific algorithms used to transform velocities, calculate
inconsistency, sum accelerations and the constraints for the solver) and
the definitions of primary and secondar inconsistency, which will follow
at a later stage as part of the actual development.