Crate exec_sat

The library to execute SAT solver.

This library provides routines to parse SAT solver output and to execute SAT solver. It three contains functions:

• parse_sat_output - to parse output from SAT solver after solving instance,
• exec_sat_simple - to execute SAT solver program without arguments.
• exec_sat - to execute SAT solver program with arguments.

Enums

• Error
  Error type.
• SatOutput
  Sat solver output.

Functions

• exec_sat
  Try to execute SAT solver. The input argument should be formulae in CNF format.
• exec_sat_simple
  Try to execute SAT solver. The input argument should be formulae in CNF format.
• parse_sat_output
  Try to parse SAT solver output. It ignores any lines that are not result or variable assignment.