#

k-cnf

Here are 2 public repositories matching this topic...

brandimarte / satisfyme

A k-satisfiability solver based on Knuth dancing-links X algorithm.

np-complete dancing-links k-sat conjunctive-normal-form satisfiability-problem k-cnf generalized-cover-problem

Updated Jul 19, 2019
C

todoge / CDCL-SAT-SOLVER

A CDCL approach to SAT solvers and a study of random k-CNF formulas

sat-solver k-cnf

Updated Apr 21, 2023
Python

Improve this page

Add a description, image, and links to the k-cnf 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 k-cnf topic, visit your repo's landing page and select "manage topics."