Explore projects
-
-
Guilhem Saurel / bbb2vid
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Updated
-
Yannick Pencolé / ddlogic
BSD 2-Clause "Simplified" LicenseUpdated -
Yannick Pencolé / ddlogic_subm
BSD 2-Clause "Simplified" LicenseThis submodule contains file to manipulate propositional logic based on BDDs
Updated -
mldiades stands for Machine Learning for Diagnosing Discrete Event System.
Updated -
Updated
-
-
Public instances for the trolley problem describe in the CP 2020 paper
Updated -
Ayoub Farah Hassan / OPAlib-Imode
GNU Lesser General Public License v2.1 onlyThis is the repository for the current mode API.
Updated -
Régis Ruelland / Core
GNU Lesser General Public License v2.1 onlyThe 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
-
-
Coal / coal
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Gepetto / buildfarm
BSD 2-Clause "Simplified" LicenseUpdated