Explore projects

The SAT and MaxSAT encoding for generating optimal binary decision diagrams.

Codes of paper "Learning Optimal Decision Trees with MaxSAT and its Integrations in AdaBoost"

The Core project is the main repository intended to be cloned by end-users.

It provides all the configuration required to begin a project with OwnTech Power API, and includes the ability to automatically download OwnTech libraries.