GitHub repository: stanivanov92/SAT-Solver
Primary language: Java
Created: 2020-08-10T13:51:26Z
Description: An efficient multi-threader algorithm for finding whether a Boolean formula is satisfiable