tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
dehnert	aecd0e3cb8	Made Storm compile again without Z3: guarded some header inclusions and function definitions/implementations. Also guarded the tests that require certain libraries (like Gurobi, glpk, Z3), so that tests do not fail any more when the libraries are not available. Former-commit-id: `307036e25c`	11 years ago
dehnert	29d8111991	Adapted Gurobi and glpk LP solvers to expression-based interface. Adapted tests and made them work again. Former-commit-id: `62379ddafd`	11 years ago
PBerger	68a6e533be	Added error handling in GurobiLpSolver.cpp Fixed a bug related to commit `486e99d6ae` [formerly `1300d77ae8`] where updateModel was not called before adding constraints in the GurobiLpSolverTest.cpp Former-commit-id: `9f619e5039`	12 years ago
dehnert	38833e308f	Started to add row-grouping to sparse matrix class. Former-commit-id: `39e3703095`	12 years ago
dehnert	ef5eb19e9c	Corrected test formulation in case StoRM was built without support for a given LP solver. Former-commit-id: `7ae692f274`	12 years ago
dehnert	36fb44e206	Added functional tests for nondeterministic linear equation solvers. Added functional tests for LPs in addition to the existing MILP tests. Former-commit-id: `8c0fa08f2d`	12 years ago
dehnert	514aace4fd	Added function tests for both glpk- and Gurobi-based LP solver implementations. Found and fixed some bugs while doing this. Former-commit-id: `99e58097f7`	12 years ago