Popular repositories

1. ttc2019-tt2bdd ttc2019-tt2bdd Public

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

   Java 5 7

2. ttc2018liveContest ttc2018liveContest Public

   The repository for the TTC 2018 Live Contest

   Java 4 15

3. ttc2014-fixml ttc2014-fixml Public

   FIXML Case for the TTC 2014

   2 2

4. ttc14-live-contest-solutions ttc14-live-contest-solutions Public

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

   Java 1

5. ttc15-live-contest-solutions ttc15-live-contest-solutions Public

   Solutions of the TTC 2015 Live Contest

   Assembly 1

6. workshop_proceedings_template workshop_proceedings_template Public

   Forked from louismrose/workshop_proceedings_template

   A simple LaTeX template for creating workshop proceedings.

   TeX 1