- corrected residual norm to coincide between GS and CG
- fill-in minimizing reordering of constraints
- faster matrix update while rounding
- multiple rounding (up to threshold)
- several minor improvements

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@42 1355f012-dd97-4b2f-ae87-10fa9f823a57

* Stability update: upon eliminating very small entries e.g. 1e-16 are set to zero, to avoid unnecessary fill-in of almost zero elements


git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@31 1355f012-dd97-4b2f-ae87-10fa9f823a57

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@19 1355f012-dd97-4b2f-ae87-10fa9f823a57

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@12 1355f012-dd97-4b2f-ae87-10fa9f823a57

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@11 1355f012-dd97-4b2f-ae87-10fa9f823a57

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@8 1355f012-dd97-4b2f-ae87-10fa9f823a57

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@2 1355f012-dd97-4b2f-ae87-10fa9f823a57