This is a simulator of a parallel SAT Solver which is not actually parallel but behaves like one. It uses userspace cooperative multitasking to run a sequential solver with more than one solver instances running in an interleaved manner.
love11mishra / simulator-parallel_sat_solver Goto Github PK
View Code? Open in Web Editor NEWThis is a simulator of a parallel SAT Solver which is not actually parallel but behaves like one. It uses userspace cooperative multitasking to run a sequential solver with more than one solver instnces running in an interleaved manner.