PyPI page
Home page
Author:
Carlo Perassi
Summary:
A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate.
Latest version:
0.1.6
Required dependencies:
dratify
Optional dependencies:
cdclkit-native
Downloads last day:
34
Downloads last week:
158
Downloads last month:
208
7-day smoothing