TransformationToolContest ttc2019-tt2bdd issues - Githubissues

TransformationToolContest / ttc2019-tt2bdd

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

MIT License

5 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Review of SCROLL - Artur Boronat

#14 arturboronat opened 5 years ago
0
Review of SCROLL

#13 fjouault opened 5 years ago
0
Review of YAMTL

#12 fjouault opened 5 years ago
1
Review of ATL

#11 rene-schoene opened 5 years ago
0
Review of NMF - Artur Boronat

#10 arturboronat opened 5 years ago
0
Review of Fulib by A. Idani

#9 meeduse opened 5 years ago
0
Review of JustAdd by German Vega

#8 gevegab opened 5 years ago
0
Review of Meeduse - Georg Hinkel

#7 georghinkel opened 5 years ago
1
Review of JastAdd - Georg Hinkel

#6 georghinkel opened 5 years ago
0
Review of NMF

#5 chrissi007 opened 5 years ago
1
Review of Fulib

#4 otherwiseopen opened 5 years ago
0
Review of Meeduse

#3 rene-schoene opened 5 years ago
1
Initial NMF solution

#2 georghinkel closed 5 years ago
0
cann't find config/reporting.json

#1 azuendorf closed 5 years ago
1