DPLL Procedure / Function in Matlab needed

Hello Dear Members,

I need this function specify in matlab, I would be very thankfull if somone can share it with me, the function is called DPLL (Davis Putnam, Logemann Loveland) its SAT (Satisfiability ) Problem, i have searched whole internet didnt found anything, i need it in MATLAB Only!!

Thanks in advance

Best Regards