[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

ITP: maria

I'm working on a package for maria, a reachability analyzer for
concurrent systems that uses Algebraic System Nets, as requested
in RFP, bug #146320.

URL: http://www.tcs.hut.fi/maria/
Licence: GPL v2

I will split off three binary packages:

- maria, containing the core
- maria-doc, containing doc in info and html
- maria-viz, containing the interface with the (non-free) graphviz
  graph visualiser. maria-viz will go into contrib, this allows
  maria to stay in main.


Reply to: