This wrapper allows to solve icnf files with solvers that implement
the IPASIR interface. For each solving call, basic stats are shown.
This wrapper can be used to run offline benchmarking for tools that
use an incremental SAT solver and can dump the calls to that solver
to icnf. There is a gap in this approach, as other SAT solvers might
produce other satisfying assignments or unsatisfiable cores, which
might change the way the actual tool would behave. Still, this wrapper
is a first step in benchmarking incremental SAT solvers more independently.
This wrapper allows to solve icnf files with solvers that implement the IPASIR interface. For each solving call, basic stats are shown.
This wrapper can be used to run offline benchmarking for tools that use an incremental SAT solver and can dump the calls to that solver to icnf. There is a gap in this approach, as other SAT solvers might produce other satisfying assignments or unsatisfiable cores, which might change the way the actual tool would behave. Still, this wrapper is a first step in benchmarking incremental SAT solvers more independently.