spot/python
Alexandre Duret-Lutz d147ad2510 Adjust to Automake 1.16
* python/Makefile.am: Adjust for Automake 1.16.
2018-08-11 17:33:53 +02:00
..
spot fix python bindings for spot::parsed_formula::f getter 2018-08-02 23:05:22 +02:00
.gitignore python: add wrapper for libspotgen 2017-04-23 17:24:23 +02:00
buddy.i * python/buddy.i: Add a hash function for BDDs. 2016-03-01 10:10:01 +01:00
Makefile.am Adjust to Automake 1.16 2018-08-11 17:33:53 +02:00