GitHub repository: szenius/flexisat
Primary language: Java
Description: CDCL SAT Solver with different Branch Picking and Conflict Analysis implementations