search

IIC2213 / Syllabus-2021-1-

19 stars 2 forks source link

[Tarea 5] Formulas insatisfacibles 20 props #59

Open fprebolledo opened 3 years ago

fprebolledo commented 3 years ago

Es posible tener ejemplos de formulas insatisfacibles de 20 props? No me corren mis algoritmos con 50 props.

juanreutter commented 3 years ago

hacelos tú! o googlea, el formato es super conocido. Y si quieres publicar acá lo que hiciste/encontraste, se agradece!