SAT solver for CUDA devices based on WalkSATlm algorithm
Primary LanguageCudaGNU General Public License v3.0GPL-3.0