Popular repositories Loading

1. ttc2017-smartGrids ttc2017-smartGrids Public

   Java 6 2

2. ttc2019-tt2bdd ttc2019-tt2bdd Public

   Free form TTC contest (Truth tables to Binary Decision Diagrams, from ATL Zoo)

   Java 5 7

3. ttc2018liveContest ttc2018liveContest Public

   The repository for the TTC 2018 Live Contest

   Java 4 15

4. ttc2014-fixml ttc2014-fixml Public

   FIXML Case for the TTC 2014

   2 2

5. ttc14-live-contest-solutions ttc14-live-contest-solutions Public

   Repository for submitting solutions to the TTC 2014 Live Contest Case.

   Java 1

6. ttc15-live-contest-solutions ttc15-live-contest-solutions Public

   Solutions of the TTC 2015 Live Contest

   Assembly 1