edusat

Here is 1 public repository 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

Improve this page

Add a description, image, and links to the edusat 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 edusat 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

edusat

Here is 1 public repository matching this topic...

Kapilhk / SatPie

Improve this page

Add this topic to your repo