This is a library test gathering all necessary tests for owntech boards.

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"