Last released Dec 26, 2023
A package for programming integrity constraints for machine learning applications.
Supported by