jean/OpenSMT - New solver using floating-point simplex.

Branch	Commit message	Author	Age
master	Try to include LinBox... (it doesn't compile).	Jean-Ernest Da Col	22 months


Age	Commit message	Author	Files	Lines
2010-07-07	Try to include LinBox... (it doesn't compile).HEAD master	Jean-Ernest Da Col	9	-18/+739
2010-06-10	Merged echelon.	Jean-Ernest Da Col	7	-164/+679
2010-06-10	Remove first row (the problem is necessarily bounded).	Jean-Ernest Da Col	2	-25/+33
2010-06-10	Matrix echeloning look's to work.	Jean-Ernest Da Col	9	-283/+582
2010-06-07	Add a function for reload the glpk problem.	Jean-Ernest Da Col	3	-47/+100
2010-06-04	Begin to implement a row echelon form.	Jean-Ernest Da Col	4	-18/+209
2010-06-02	Desperate attempt to correct singular matrix. Maybe it works but its too long.	Jean-Ernest Da Col	3	-9/+63
2010-06-01	Small update.	Jean-Ernest Da Col	2	-138/+118
2010-05-31	Add strict inequalities according to Besson.	Jean-Ernest Da Col	3	-91/+223
2010-05-26	Begin to implement strict inequalities.	Jean-Ernest Da Col	1	-40/+72
[...]

Clone
git://julien.isonoe.net/other/jean/OpenSMT