PyPI recent updates for cdclkit https://pypi.org/project/cdclkit/ Recent updates to the Python Package Index for cdclkit en 0.1.2 https://pypi.org/project/cdclkit/0.1.2/ A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate. Sat, 29 Aug 2026 17:13:36 GMT 0.1.1 https://pypi.org/project/cdclkit/0.1.1/ A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate. Sat, 29 Aug 2026 16:44:02 GMT 0.1.0 https://pypi.org/project/cdclkit/0.1.0/ A CDCL SAT solver, preprocessor, encoding library and modelling layer, written from scratch in readable Python. Every answer comes with a certificate. Sat, 29 Aug 2026 16:17:02 GMT