#satisfactibilidad booleana

Dsat: Un solucionador SAT nativo para lógica discreta

Dsat: solucionador SAT nativo para lógica discreta. Resuelve problemas de satisfacibilidad de forma eficiente.