• Alexandre Duret-Lutz's avatar
    sat: generalize the code for reading the solution · 90c106f8
    Alexandre Duret-Lutz authored
    * src/misc/satsolver.cc, src/misc/satsolver.hh (satsolver_get_solution):
    New function, that accepts a solution split on multiple 'v ' lines.
    * src/tgbaalgos/dtbasat.cc, src/tgbaalgos/dtgbasat.cc (get_solution):
    Remove, and adjust existing code to use satsolver_get_solution().
    * src/tgbatest/readsat.cc, src/tgbatest/readsat.test: New files.
    * src/tgbatest/Makefile.am: Add them.
    * src/bin/man/spot-x.x: Mention the SAT competition rules for
    the expected input/output format.
    90c106f8
readsat.test 1.27 KB