search

TermCOMP / starexec-master

5 stars 15 forks source link

Update Y2020_info.php #9

Closed mthark closed 4 years ago

mthark commented 4 years ago

Added missing configurations for Demo Categories for AProVE