GitHub repository: xmif1/ALLLSatisfiabilitySolver
Primary language: C++
Created: 2021-09-28T06:19:31Z
Description: Parallel Algorithmic Lovász Local Lemma SAT Solver