Crate exec_sat

The library to execute SAT solver.

This library provides routines to parse SAT solver output and to execute SAT solver. It contains three 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.