Lib.rs

›

#sat-solver #sat #cnf #logic

exec-sat

执行SAT求解器并解析SAT求解器输出

由 Mateusz Szpakowski 拥有。

2个版本

0.1.1	2022年10月16日
0.1.0	2022年10月15日

#1825 in 数学

每月 32 次下载
在 cnfgen-nand-opt 中使用

LGPL-2.1-or-later

13KB
287 行

Exec-SAT

此库提供了解析SAT求解器输出和执行SAT求解器的例程。它包含三个函数

parse_sat_output - 解析求解实例后的SAT求解器输出，
exec_sat_simple - 无参数执行SAT求解器程序。
exec_sat - 带参数执行SAT求解器程序。

`lib.rs`:

执行SAT求解器的库。

此库提供了解析SAT求解器输出和执行SAT求解器的例程。它包含三个函数

parse_sat_output - 解析求解实例后的SAT求解器输出，
exec_sat_simple - 无参数执行SAT求解器程序。
exec_sat - 带参数执行SAT求解器程序。

依赖关系

~255–710KB
~17K SLoC