GitHub repository: Benjaminrivard/ttc2019-tt2bdd
Primary language: Java
Description: Free form TTC contest (Truth tables to Binary Decision Diagrams, from ATL Zoo)