-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dtbasat.cc: Skip variables of the form <q,q',q,q'>C or <q,q',q,q'>R and replace them by <q,q'>G.
cda847e2
* src/tgbaalgos/dtbasat.cc: Skip variables of the form <q,q',q,q'>C or <q,q',q,q'>R and replace them by <q,q'>G.