Package Usage: pypi: python-sat

A Python library for prototyping with SAT oracles
157 versions
Latest release: about 1 year ago
17 dependent packages
64,017 downloads last month

View more package details: https://packages.ecosystem.code.gouv.fr/registries/pypi.org/packages/python-sat

Dependent Repos 1

crillab/pyxai

PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).

Size: 74.3 MB - Last synced: 7 days ago - Pushed: 9 days ago