MATLAB has an embedded JVM, and makes it easy to call Java classes from inside MATLAB.
This is well explained in the documentation
Pregunta
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?
Solución
MATLAB has an embedded JVM, and makes it easy to call Java classes from inside MATLAB.
This is well explained in the documentation