Lib.rs

› Science › Math
#sat-solver #sat #logic #cnf

exec-sat

Executes SAT solver and parses SAT solver output

Owned by Mateusz Szpakowski.

3 releases

new 0.1.2 Feb 16, 2025
0.1.1 Oct 16, 2022
0.1.0 Oct 15, 2022

#1641 in Math

Download history 10/week @ 2024-12-08 1/week @ 2024-12-15

126 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 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

~205–650KB
~15K SLoC