vsids

There are 0 repository under vsids topic.

• Kapilhk / SatPie

  SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

  cdclcdcl-algorithmedusatjupyter-notebookminisatpythonpython3satsat-solversatisfiabilityvsids
  Language:Jupyter Notebook 20

• NicolaDes / SATIVA

  SAT solver using CDCL procedure and watched literals, VSIDS herustics.

  sat-solvercdclunivrsativasatunsatproofvsidsliterals
  Language:C++ 0