Explore projects

A minimal reproduction of Sobolev training with Pytorch.

Specifically taylored talos data for SoT

This is an example project, to show how to use Gepetto's tools

https://github.com/stack-of-tasks/pinocchio

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.

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

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