Cilj projekta je analiza CDCL-based SAT solver-a i primena alata za verifikaciju softvera.
Projekt je urađen u okviru kursa Verifikacija softvera na Matematičkom fakultetu, Univerzitet u Beogradu.
Solver je dodat kao submodule: CDCL-based-SAT-Solver
Originalni repozitorijum: https://github.com/thtran97/CDCL-based-SAT-Solver
...
Staša Đorđević 1007/2025