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.
Stefan Pranger
6a79986980
introduce bounded globally mc for MDPs
|
2 months ago |
| .. |
|
carl
|
CMake: Changed github address of Carl.
|
4 years ago |
|
cpphoafparser-0.99.2
|
cpphoafparser: added missing include.
|
3 years ago |
|
cpptemplate
|
Added virtual destructors in cpptempl
|
6 years ago |
|
cudd-3.0.0
|
changed shield export handling
|
1 year ago |
|
cusplibrary@d8d7d9e97a
|
Added cusplibrary as a git submodule.
|
11 years ago |
|
exprtk
|
Update the ExprTk library
|
4 years ago |
|
glpk-4.65
|
bumped version of shipped glpk
|
5 years ago |
|
gmm-5.2
|
gmm Multiplier: Added support for computing y += A*x in Parallel.
|
4 years ago |
|
googletest
|
Renamed gtest directory to make it version independent.
|
4 years ago |
|
l3pp
|
introduce bounded globally mc for MDPs
|
2 months ago |
|
modernjson
|
Jani JSONExporter: Increased precision for output.
|
5 years ago |
|
nix-scripts
|
nix-scripts: Update scripts and add documentation
|
6 years ago |
|
patches
|
Eigen Patch: Silence a warning regarding unused variable.
|
5 years ago |
|
sparsepp
|
readd sparsepp in new version
|
8 years ago |
|
sylvan
|
Fix print_storm_rational_number
|
3 years ago |
|
z3
|
CMake version parsing of z3 without z3 binary
|
6 years ago |
|
CMakeLists.txt
|
Always define CLN_INCLUDE_DIR when available
|
3 years ago |
|
include_cudd.cmake
|
Added cmake option STORM_RESOURCES_BUILD_JOBCOUNT to have better control on how many jobs we shall use to build external stuff (like spot, carl, cudd, glpk, ?)
|
3 years ago |
|
include_glpk.cmake
|
Added cmake option STORM_RESOURCES_BUILD_JOBCOUNT to have better control on how many jobs we shall use to build external stuff (like spot, carl, cudd, glpk, ?)
|
3 years ago |
|
include_spot.cmake
|
Added cmake option STORM_RESOURCES_BUILD_JOBCOUNT to have better control on how many jobs we shall use to build external stuff (like spot, carl, cudd, glpk, ?)
|
3 years ago |
|
include_xerces.cmake
|
less means less or equal in cmake. :/
|
5 years ago |
