- 04 Feb, 2011 2 commits
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@51 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@50 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 02 Feb, 2011 1 commit
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@49 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 28 Jan, 2011 1 commit
-
-
Jan Möbius authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@48 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 16 Nov, 2010 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@47 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 15 Nov, 2010 1 commit
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@46 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 19 Oct, 2010 2 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@45 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@44 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 08 Sep, 2010 1 commit
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@43 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 03 Aug, 2010 1 commit
-
-
David Bommes authored
- 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
-
- 19 May, 2010 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@41 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 19 Apr, 2010 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@40 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 08 Apr, 2010 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@39 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 25 Jan, 2010 1 commit
-
-
Jan Möbius authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@38 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 10 Jan, 2010 1 commit
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@37 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 09 Jan, 2010 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@36 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 03 Jan, 2010 1 commit
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@35 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 19 Nov, 2009 1 commit
-
-
David Bommes authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@34 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 16 Nov, 2009 4 commits
-
-
Henrik Zimmer authored
MISolverDialog -> MISolverDialogUI git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@33 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
MISolverDialog -> MISolverDialogUI git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@32 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
* 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
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@30 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 10 Nov, 2009 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@29 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 04 Nov, 2009 1 commit
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@28 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 20 Oct, 2009 3 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@27 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@26 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@25 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 07 Oct, 2009 2 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@24 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
Bug fix: if no integers shall be rounded, search for biggest real value when makeing constraints independent. This is to avoid dividing by a really small value. git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@23 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 02 Sep, 2009 2 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@22 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@21 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 01 Sep, 2009 2 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@20 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@19 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 28 Aug, 2009 7 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@16 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@15 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@14 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@13 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@12 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@11 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@10 1355f012-dd97-4b2f-ae87-10fa9f823a57
-