GitHub repository: qiemanqieman/advanced-sat-solver
Primary language: Python
Created: 2022-11-17T01:02:38Z
Description: A SAT solver using CDCL equipped with several techniques.