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

  satsat-solversatisfiabilitycdclcdcl-algorithmpythonpython3jupyter-notebookvsidsedusatminisat
  Language:Jupyter Notebook 19

• NicolaDes / SATIVA

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

  sat-solvercdclunivrsativasatunsatproofvsidsliterals
  Language:C++ 0