#cnf #logic #sat

exec-sat

Executes SAT solver and parses SAT solver output

2 releases

0.1.1 Oct 16, 2022
0.1.0 Oct 15, 2022

#778 in Math

34 downloads per month
Used in cnfgen-nand-opt

LGPL-2.1-or-later

13KB
287 lines

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.

lib.rs:

The library to execute SAT solver.

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.

Dependencies

~205–610KB
~14K SLoC