Názov projektu: Framework na porovnávanie SAT solverov pri riešení kombinatorických problémov.
Špecifikácia projektu: Návrh univerzálneho testovacieho frameworku, ktorý bude maximalizovať
automatizáciu, ako pridanie nového solvera do porovnania, pridanie nového problemu, meranie času, pamäte, detekcia chýb v solveroch
Študent: Adam Fremal
Kontakt: fremal2@uniba.sk
Report: