- 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 8 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
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@9 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
- 26 Aug, 2009 8 commits
-
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@8 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@7 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@6 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@5 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@4 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@3 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Henrik Zimmer authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@2 1355f012-dd97-4b2f-ae87-10fa9f823a57
-
Jan Möbius authored
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@1 1355f012-dd97-4b2f-ae87-10fa9f823a57
-