## Exec-SAT

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.