matlabsatisfiability

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

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?

Solution

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

    This is well explained in the documentation