文件名称：picosat:Picosat的Erlang绑定
文件大小：54KB
文件格式：ZIP
更新时间：2024-05-29 16:51:20
C
Erlang PicoSAT 基于。 建造 $ rebar3 compile 用法 如果我们有一个表示逻辑语句的变量表，则可以用整数枚举它们。 A 1 B 2 C 3 D 4 E 5 F 6 然后，该子句可以写为正整数（断言）和负整数（负）的序列： (A v ¬B v C) 1 -2 3 0 (B v D v E) 2 4 5 0 (D V F) 4 6 0 形式声明的解决方案： (A v ¬B v C) ∧ (B v D v E) ∧ (D v F) 可以写为零终止的整数列表： 1 -2 3 0 2 4 5 0 4 6 0 要使用Erlang绑定，只需将子句列表传递给solve函数，这将返回解决方案或原子unsatisfiable或unknown 。 $ rebar3 shell 1> picosat:solve([[1, -2, 3], [2,4,5], [4,
【文件预览】：
picosat-master
----c_src()
--------picosat.c(172KB)
--------picosat.h(27KB)
--------Makefile(2KB)
--------picosat_nif.c(2KB)
----rebar.lock(4B)
----src()
--------picosat.app.src(320B)
--------picosat.erl(259B)
--------picosat_nif.erl(403B)
----LICENSE(1KB)
----README.md(1KB)
----rebar.config(84B)
----.gitignore(137B)