Preparacion:
En este directorio debes poner tu satsolver con el nombre (Reemplaza el que ya hay):
shitSatSolver.cpp
Tu satsolver tiene que tener el cout de la siguiente forma:
tiempo << " " << propagaciones << " " << decisiones/tiempo << " SATISFIABLE" << endl;
tiempo << " " << propagaciones << " " << decisiones/tiempo << " UNSATISFIABLE" << endl;
En el satsolver por default ya tiene estas salidas por si no se entiende.
Ejecucion:
Simplemente ejecuta:
sh letTheMagicBegins.sh
Tendrás que esperar a que se ejecuten todos los juegos de prueba con tu satSolver y con el picoSat. Puede tardar mucho si tu satsolver y/o procesador es lento.
La salida te aparecerá en el mismo directorio.
============
DONT AIDS
OPEN INSIDE
Lee el codigo de dentro de la capeta magic bajo tu propia responsabilidad. El autor no se responsabiliza de cualquier enfermedad veneria que puedas contraer.