Commits · 03657c983fa528598494bc9a7d03b17a60bffd73 · CoMISo / CoMISo

06 Oct, 2011 1 commit

Fixed latex math code since this caused doxygen to stop during build. "[" as... · 03657c98

Mike Kremer authored Oct 06, 2011

Fixed latex math code since this caused doxygen to stop during build. "[" as well as "]" have to be escaped in latex math environment.

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

03657c98

15 Nov, 2010 1 commit

added possibility to disable constraint reordering · afdedb99

David Bommes authored Nov 15, 2010

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

afdedb99

03 Aug, 2010 1 commit

Several Changes -> Version 2 · e97e8b9b

David Bommes authored Aug 03, 2010

- 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

e97e8b9b

09 Jan, 2010 1 commit

· 8d858950

Henrik Zimmer authored Jan 09, 2010

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

8d858950

03 Jan, 2010 1 commit

fixed 0-size-Matrix Bug · 412eb5d4

David Bommes authored Jan 03, 2010

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

412eb5d4

19 Nov, 2009 1 commit

added solve_const function · 29def235

David Bommes authored Nov 19, 2009

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

29def235

16 Nov, 2009 1 commit

* Namespace change ACG -> COMISO · abc65889

Henrik Zimmer authored Nov 16, 2009

* 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

abc65889

20 Oct, 2009 2 commits
- Added noisy-parameter to set amout of output · cd35d6f6
  Henrik Zimmer authored Oct 20, 2009
```
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@27 1355f012-dd97-4b2f-ae87-10fa9f823a57
```
  cd35d6f6
- Improved search for variables to be eliminated. Try to eliminate reals first integers last. · 91eff718
  Henrik Zimmer authored Oct 20, 2009
```
git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@26 1355f012-dd97-4b2f-ae87-10fa9f823a57
```
  91eff718
01 Sep, 2009 1 commit

licence fix · b684eb84

Henrik Zimmer authored Sep 01, 2009

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

b684eb84

28 Aug, 2009 2 commits

added licensing · 3eb7b41d

Henrik Zimmer authored Aug 28, 2009

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

3eb7b41d

fixed some cmake stuff · 7f86199b

Henrik Zimmer authored Aug 28, 2009

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

7f86199b

26 Aug, 2009 2 commits

Cmake change · b6de2c1f

Henrik Zimmer authored Aug 26, 2009

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

b6de2c1f

initial CoMISo check in, not release · 5053d79b

Henrik Zimmer authored Aug 26, 2009

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

5053d79b