Logical Classifier Project
This project implements a logical formalism to represent classifiers, enabling logical reasoning about machine learning models.
logic/: Core logic and classesexamples/: Usage examplestests/: Unit testsdata/: Datasets and data handling scripts