clpb

14El calor

4Respuesta

Prolog SAT Solver

Estoy tratando de construir un simple solucionador de Prolog SAT. Mi idea es que el usuario debe ingresar la fórmula booleana a resolver en CNF (Forma Normal Conjugativa) usando listas de Prolog, por

prolog boolean-logic clpb 2011-02-09

---