exec-sat 0.1.2

Executes SAT solver and parses SAT solver output
Documentation

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.