1 commit

Author	SHA1	Message	Date
Alexandre Duret-Lutz	bf7ccfe7e6	new partial_degeneralize() algorithm ... * spot/twaalgos/degen.hh, spot/twaalgos/degen.cc: Implement it. * tests/python/pdegen.py: New file. * tests/Makefile.am: Add it. * NEWS: Mention the new function.	2019-12-11 17:09:55 +01:00