Closed WolfgangWaltenberger closed 2 years ago
Write a tool that compactifies the database, keeping only the most constraining result. For speed runs.
Write a tool that compactifies the database, keeping only the most constraining result. For speed runs.