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