Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
120
172
views
downloads
All versions This version
Views 120120
Downloads 172172
Data volume 47.2 GB47.2 GB
Unique views 104104
Unique downloads 8989

Share

Cite as