Logical Classifier Project

This project implements a logical formalism to represent classifiers, enabling logical reasoning about machine learning models.

Project Structure

• logic/: Core logic and classes
• examples/: Usage examples
• tests/: Unit tests
• data/: Datasets and data handling scripts