GitHub repository: tobipaxe/MaxSATRegressionSuite
Primary language: Python
Created: 2024-04-08T14:53:31Z
Description: Tool to test your MaxSAT solver robustness.