Lib.rs

› Science › Math
#sat-solver #sat

exec-sat

Executes SAT solver and parses SAT solver output

Owned by Mateusz Szpakowski.

2 releases

0.1.1 Oct 16, 2022
0.1.0 Oct 15, 2022

#1564 in Math

32 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

~260–720KB
~17K SLoC