Last released Apr 30, 2025
A SAT solver-based approach to classifying MNIST dataset using SAT encodings
Last released Mar 1, 2025
A library with different Machine Learning Algorithms: Hill Climbing, Simulated Annealing, Brute Force, and A star search
Supported by
