3 releases
| 0.1.2 | Feb 16, 2025 |
|---|---|
| 0.1.1 | Oct 16, 2022 |
| 0.1.0 | Oct 15, 2022 |
#1513 in Math
166 downloads per month
Used in cnfgen-nand-opt
13KB
287 lines
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.
lib.rs:
The library to execute SAT solver.
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.
Dependencies
~220–670KB
~16K SLoC