Matlab
(校內授權軟體，僅限校內ip可連結)
C語言
(校內授權軟體，僅限校內ip可連結)
C++
Gams(
64bit
,
32bit
)
DESUMA
(
Installation Instructions
)
GDXMRW: Interfacing GAMS and MATLAB
UPPAAL