Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).
Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).
BSD 3-Clause "New" or "Revised" License