-
Alexandre Duret-Lutz authored
Fixes #84. * src/twaalgos/hoa.cc: Detect and output the colored property. * src/tests/hoaparse.test, src/tests/satmin2.test: Update.
97665a58
Fixes #84. * src/twaalgos/hoa.cc: Detect and output the colored property. * src/tests/hoaparse.test, src/tests/satmin2.test: Update.