https://pypi.org/project/solbert/ Recent updates to the Python Package Index for solbert en https://pypi.org/project/solbert/1.0.2/ SAT-based computation and enumeration of sufficient reasons for decision tree and random forest classifiers in sklearn ashlin.iser@kit.edu Thu, 17 Sep 2026 08:27:47 GMT https://pypi.org/project/solbert/1.0.1/ SAT-based computation of prime implicants and projected models ashlin.iser@kit.edu Wed, 16 Sep 2026 13:59:15 GMT