Explore projects
-
Updated
-
-
radelin_thesis / openabe_opti
GNU Affero General Public License v3.0Updated -
-
Updated
-
jicv_2022_security_protocol / security_protocol
MIT LicenseUpdated -
Updated
-
-
-
Modèle de thèse initialement publié à git:redmine du LAAS. Télécharger et utiliser en locale (besoin latexmk + pdflatex je crois), ou en Overleaf. N'hésite pas à l'améliorer!
Updated -
Updated
-
Code source of the Monte-Carlo Tree search, published at CP2021
Updated -
Updated
-
Guilhem Saurel / Articles
BSD 2-Clause "Simplified" LicenseUpdated -
Gepetto / Articles
BSD 2-Clause "Simplified" LicenseUpdated -
Resource-Constrained Scheduling Solver based on difference logic and clause learning
Updated -
Matthieu Herrb / echoc
BSD Zero Clause Licensenetwork diagnostic tool using the UDP echo service (not ICMP echo because some vendors cheat and prioritize ICMP echo packets to show healthy connections)
Updated -
-
Philippe Hérail / RDDLSim-Custom
Apache License 2.0Customized rddlsim version for my personal use
Updated