Explore projects
-
-
Updated
-
Pierre-Alexandre Leziart / Plan Motion
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Guilhem Saurel / talogs
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Yannick Pencole / ddutils
BSD 2-Clause "Simplified" LicenseStandalone Library of C++ utilities from ddutils_subm
Updated -
This is a library test gathering all necessary tests for owntech boards.
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 -
Guilhem Saurel / Croco Benchs
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Updated
-
Updated