Explore projects
-
-
Yannick Pencolé / ddgraph_subm
BSD 2-Clause "Simplified" LicenseSource code of ddgraph. Used as a submodule.
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 -
-
-
-
Yannick Pencolé / ddpetri_subm
BSD 2-Clause "Simplified" LicenseSource code of ddpetri: used as a submodule
Updated -
Yannick Pencolé / ddscg
GNU General Public License v3.0 or laterUpdated -
Yannick Pencolé / ddutils
BSD 2-Clause "Simplified" LicenseStandalone Library of C++ utilities from ddutils_subm
Updated -
Yannick Pencolé / ddutils_subm
BSD 2-Clause "Simplified" LicenseC++ utilities. Used as a submodule
Updated -
Yannick Pencolé / diades
BSD 2-Clause "Simplified" LicenseDiades is a collection of academic tools that deal with the problem of discrete event systems.
Updated -
Gepetto / Dynacom
BSD 2-Clause "Simplified" LicenseUpdated -
Guilhem Saurel / Dynacom
BSD 2-Clause "Simplified" LicenseUpdated -
Stack Of Tasks / dynamic-graph
BSD 2-Clause "Simplified" LicenseUpdated -
Olivier Stasse / dynamic-graph
BSD 2-Clause "Simplified" LicenseUpdated -
Guilhem Saurel / dynamic-graph
BSD 2-Clause "Simplified" LicenseUpdated -
Corentin Bergé / dynamic-graph
BSD 2-Clause "Simplified" LicenseUpdated -
Stack Of Tasks / dynamic-graph-python
BSD 2-Clause "Simplified" LicenseUpdated -
Olivier Stasse / dynamic-graph-python
BSD 2-Clause "Simplified" LicenseUpdated