codzart / 3sat_solver_incomplete Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stavank/3sat_solver_incomplete
This is a 3-SAT solver written in C ++ and CUDA C++ using DPLL and random assignment approach.
License: GNU General Public License v3.0