PyRank

Cdcl Python Packages

Python packages with the GitHub topic cdcl. Sorted by monthly downloads, with stars and forks.
carlok
cdclkit

A readable, self-checking CDCL SAT solver, preprocessor and encoding library. Every answer comes with a certificate.

1K 0 0