spot/debian/libspotgen0.install at am/sonf - alarsyo/spot - Personal Forge

alarsyo/spot

Maximilien Colange d90e38eb2a Add a new library to generate formulas and automata.

This library, called libspotgen, gathers functions to generate classes
of automata found in the literature.
Related to #254.

* NEWS, README: Mention the modification.
* Makefile.am, debian/control, debian/libspotgen0.install: Build the new
  library in a separate package.
* spot/gen/automata.hh, spot/gen/automata.cc: Add a family of co-Büchi
  automata.
* configure.ac, spot/Makefile.am, spot/gen/Makefile.am: Build the new
  library.

2017-04-21 18:13:33 +02:00

1 line

28 B

Text

Raw Permalink Blame History

usr/lib/*-*/libspotgen.so.*