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.