Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
The SAT and MaxSAT encoding for generating optimal binary decision diagrams.
Updated -
Codes of paper "Learning Optimal Decision Trees with MaxSAT and its Integrations in AdaBoost"
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
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.
Updated -
Updated