Pinned

1. KIT_ConsistencyPreservation_Decomposition KIT_ConsistencyPreservation_Decomposition Public

   KIT SS2019 – Decomposition procedure for multi-model consistency preservation.

   Java 1

2. Ensi_IRL_ProB Ensi_IRL_ProB Public

   Ensimag 2A — IRL. Optimisation par colonies de fourmis pour la recherche d'attaques.

   Java

3. Ensi_PatchworkC Ensi_PatchworkC Public

   Ensimag 1A – Construction de motifs par des arbres syntaxiques abstraits en C99.

   C

4. KIT_LDE_Solver KIT_LDE_Solver Public

   KIT WS2018/19 – Solver of systems of linear diophantine equations in Java.

   Java