/vass

Haskell implementation of Vector Addition Systems with States.

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

VASS: Vector Addition Systems with States

Please see Data.Vass for more.