Back to dataset: Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic

ddcolors-flow_extraction.zip

Important usage condition: Use and redistribution are governed by MIT. Review and comply with the license before using the data.

Dataset: Chromatic Numbers from Exact Decision Diagrams in Exact Arithmetic
Published version: 1.1
Media type: application/zip
Size: 42440 bytes
Checksum: MD5 10fa4645ff4ff9d5c0504204d65a1208
License: MIT

C++ code for generating exact decision diagrams for graph coloring.

Before downloading: Use and redistribution are governed by MIT. Review and comply with the license before using the data.

Download ddcolors-flow_extraction.zip

Expected crawler behaviour

Use a stable, truthful User-Agent with product/version and a working contact URL. Across all IP addresses and HTTP connections used by one crawler identity, allow no more than 5 requests in flight and wait at least 20 seconds between request starts. Crawl URLs listed in the catalog sitemap, including file pages and download URLs when they are published, use conditional requests, honor Retry-After, and apply exponential backoff after errors.

The welcome page may link to the interactive repository for human navigation. Automated clients must not treat that human link as a catalog crawl target.

Read the live machine-readable crawler policy before and during a crawl. Stop crawling when it reports CPU or memory utilization at or above 80% and 80% respectively.