Dpll, SAT (satisfability) problem, Need DPLL Function or Procedure? [closed]

Question

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.

Closed 9 years ago.

here is my problem, I stucked in Matlab with SAT Problem (Satisfability)

Actually I need a function called DPLL, I saw it somewhere here but it's in java, can anyone help me please?

Answer 1

MATLAB has an embedded JVM, and makes it easy to call Java classes from inside MATLAB.

This is well explained in the documentation