5 projects
ramparils
ParamILS automated algorithm configuration (Rust, PyO3)
solverpy-learn
ML layer for solverpy: model building, ENIGMA guidance, and AutoTuner.
solverpy
Python interface for Automated Reasoning (AR) solvers, provers, and checkers.
enigmatic
Enigma: Automatic Inference Guiding Machine
grackle
Grackle: Configuration Collection Invention System
