Exec-SAT
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.