forked from utwente-fmt/scoop
-
Notifications
You must be signed in to change notification settings - Fork 0
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes
License
Meijuh/scoop
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
To build SCOOP, you need to have the Glasgow Haskell Compiler (ghc) and the happy parser generator. We recommend installing the Haskell Platform, available for Windows, Mac OS X and Linux. This suffices to build the library that is used by LTSmin. To build the stand-alone tool scoop, you'll also need the hashmap package, which is installed automatically by issuing the commands: cabal update cabal install hashmap To configure, build and install the library and tool: ./scoopreconf ./configure make make install Note that when used as an LTSmin submodule, these commands will be invoked automatically by the LTSmin build system.
About
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Haskell 85.6%
- Bison 13.6%
- Other 0.8%