vsids

Here are 2 public repositories matching this 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

python jupyter-notebook python3 sat-solver cdcl-algorithm minisat sat satisfiability cdcl vsids edusat

Updated Sep 16, 2020
Jupyter Notebook

NicolaDes / SATIVA

Star

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

proof literals sat-solver sat univr cdcl sativa unsat vsids

Updated Feb 15, 2018
C++

Improve this page

Add a description, image, and links to the vsids topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the vsids topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly