标签： matlab satisfiability
这是我的问题，我陷入了Matlab与SAT问题（可满足性）
其实我需要一个名为DPLL的函数，我在这里看到它，但它在java中，有人可以帮我吗？
答案 0 :(得分：0)
MATLAB有一个嵌入式JVM，可以很容易地从MATLAB中调用Java类。
the documentation