Snake v5.2.1 — SAT-based explainable classifier. 30 boolean test types, 7 oppose profiles, beats RF/GB on AUROC. Zero dependencies, pure Python.
python machine-learning cython classification sat-solver automl multiclass explainable-ai zero-dependencies auroc oppose-profiles boolean-tests
-
Updated
Mar 9, 2026 - Python