exec-sat (cargo): Executes SAT solver and parses SAT solver output
Keywords: logic|sat|cnf