Solutions to the Truth Tables to Binary Decision Diagrams

Case resources:

The following 7 solutions were submitted:

Tool Authors Artefacts Opponents
ATL (non-reference) Dennis Wagelaar, Théo Le Calvar and Frédéric Jouault PDF Description
No slides
No SHARE or Docker demo
SCM
Albert Zuendorf
Johannes Mey, René Schöne, Christopher Werner and Uwe Assmann
Fulib Albert Zuendorf PDF Description
No slides
Docker Demo
SCM
Johannes Mey, René Schöne, Christopher Werner and Uwe Assmann
Akram Idani, German Vega and Michael Leuschel
JastAdd Johannes Mey, René Schöne, Christopher Werner and Uwe Assmann PDF Description
No slides
No SHARE or Docker demo
SCM
Akram Idani, German Vega and Michael Leuschel
Georg Hinkel
MEEDUSE Akram Idani, German Vega and Michael Leuschel PDF Description
No slides
No SHARE or Docker demo
SCM
Georg Hinkel
Christopher Werner, Rico Bergmann, Johannes Mey, René Schöne and Uwe Assmann
NMF Georg Hinkel PDF Description
No slides
No SHARE or Docker demo
SCM
Christopher Werner, Rico Bergmann, Johannes Mey, René Schöne and Uwe Assmann
Artur Boronat
SCROLL Christopher Werner, Rico Bergmann, Johannes Mey, René Schöne and Uwe Assmann PDF Description
No slides
No SHARE or Docker demo
SCM
Artur Boronat
Dennis Wagelaar, Théo Le Calvar and Frédéric Jouault
YAMTL Artur Boronat PDF Description
No slides
No SHARE or Docker demo
SCM
Dennis Wagelaar, Théo Le Calvar and Frédéric Jouault
Albert Zuendorf

Awards

The solutions were scored at the contest, resulting in the following awards:

Audience Award (3rd): JastAdd and MEEDUSE
Audience Award (2nd): YAMTL
Audience Award (1st): NMF
Best Performance: Fulib
Best Verification: MEEDUSE
Most Optimal: YAMTL / JastAdd
Most Flexible: NMF