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.