• Alexandre Duret-Lutz's avatar
    sat: fix some non-determinism of the encoding · 1853bdd5
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc: Rewrite the
    loops that number the states of the reference automaton so that
    they declare CNF variable numbers in the same order as the states
    of the automaton.
    1853bdd5