Dataset Open Access

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
439
193
views
downloads
All versions This version
Views 43985
Downloads 19310
Data volume 20.0 GB2.5 GB
Unique views 34871
Unique downloads 1167

Share

Cite as