• Alexandre Duret-Lutz's avatar
    sat: factor the creation of temporary files · 9c98975c
    Alexandre Duret-Lutz authored
    * src/misc/satsolver.hh, src/misc/satsolver.cc: Present
    the SAT solver as an object with a stream interface, to
    prepare for a better implementation.
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc:
    Adjust to the new interface, removing all the handling
    of temporary files.
    * src/tgbatest/readsat.cc: Adjust.
    9c98975c