| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.PetriReach.Config
Synopsis
Documentation
task2023_27 :: ReachConfig Source #
points: 0.2
task2023_28 :: ReachConfig Source #
points: 0.25
task2024_25 :: ReachConfig Source #
points: 0.2
task2024_26 :: ReachConfig Source #
points: 0.25
task2024_60 :: ReachConfig Source #
points: 0.08