Default Branch

master

2058450fc6 · Nailgun: Allow the main class started from the nailgun server to be configured via an environment variable · Updated 7 years ago

Branches

accumulation

8e45d9e5ce · Fix printing · Updated 6 years ago

0
210
accumulation-v4.7

57578cc560 · Disable check for positive rewards (HACK) · Updated 2 years ago

0
459
automata-finite

6edb99dae9 · automata.finite: use Dottable · Updated 7 years ago

0
141
tud-infrastructure-2018-10-12

95a5f843f6 · imported patch ProbModel-comments-for-constructor.patch · Updated 7 years ago

0
135