swMATH software
MARCA
;
PRISM
;
PhFit
;
CPLEX
;
SMART_
;
Gurobi
;
QSopt
;
XPRESS
;
JUnit
;
HyperStar
;
Jphase
;
JAMA
;
ITEM ToolKit
;
RAM Commander FTA
;
Butools
;
mdp
;
MDPtoolbox
;
PyMDPtoolbox
;
PIPE2
;
MTJ
;
jMarkov
;