Giters

dixonary / vass

Haskell implementation of Vector Addition Systems with States.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

VASS: Vector Addition Systems with States

Please see Data.Vass for more.

About

Haskell implementation of Vector Addition Systems with States.

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 100.0%