sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1246 Commits
1 Branch
0 Tags
187 MiB
 
 
 
 
Tree: 92ee6187fa
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '92ee6187fa'
${ noResults }
tempest/src/solver
dehnert 92ee6187fa
Added more query methods to expressions. SparseMatrix now keeps track of non zero entries and models show correct number of transitions by referring to nonzero entries rather than all entries in the matrix. 		11 years ago
..
GlpkLpSolver.cpp fixed a lot of unused variable warnings 11 years ago
GlpkLpSolver.h Added signal handler for SIGTERM. Introduced delayed update for LP solvers to reduce overhead. 11 years ago
GmmxxLinearEquationSolver.cpp fixed a lot of unused variable warnings 11 years ago
GmmxxLinearEquationSolver.h Further work on refactoring solvers: cleaned LP solver interface a bit and adapted glpk- and Gurobi-based implementations of the interface. 11 years ago
GmmxxNondeterministicLinearEquationSolver.cpp fixed a lot of unused variable warnings 11 years ago
GmmxxNondeterministicLinearEquationSolver.h Moved from additional row grouping to the one embedded in the matrix itself. 11 years ago
GurobiLpSolver.cpp Fixed minor bug MILP-based minimal command set generator. GurobiLpSolver is now able to deal with constraints involving several instances of the same variable. 11 years ago
GurobiLpSolver.h Added signal handler for SIGTERM. Introduced delayed update for LP solvers to reduce overhead. 11 years ago
LinearEquationSolver.h Further work on refactoring solvers: cleaned LP solver interface a bit and adapted glpk- and Gurobi-based implementations of the interface. 11 years ago
LpSolver.h Added a missing include for uint_fast64_t to be recognized as a type 11 years ago
NativeLinearEquationSolver.cpp fixed a lot of unused variable warnings 11 years ago
NativeLinearEquationSolver.h Further work on refactoring solvers: cleaned LP solver interface a bit and adapted glpk- and Gurobi-based implementations of the interface. 11 years ago
NativeNondeterministicLinearEquationSolver.cpp fixed a lot of unused variable warnings 11 years ago
NativeNondeterministicLinearEquationSolver.h Moved from additional row grouping to the one embedded in the matrix itself. 11 years ago
NondeterministicLinearEquationSolver.h Moved from additional row grouping to the one embedded in the matrix itself. 11 years ago