#satisfacibilidad booleana

Dsat: Un solucionador SAT nativo para lógica discreta

<meta name=description content=Solucionador SAT nativo para lógica discreta. Resuelve problemas de satisfacibilidad booleana de forma rápida y eficiente.>