You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Alinson S. Xavier 30d6ea0a9b Benchmark: Include solver log in results file		5 years ago
..
classifiers	Reformat source code with Black; add pre-commit hooks and CI checks	5 years ago
components	simulate_perfect: Do not overwrite original file	5 years ago
problems	Implement tests for ConvertTightIneqsIntoEqsStep	5 years ago
solvers	simulate_perfect: Do not overwrite original file	5 years ago
tests	Benchmark: Add extra columns to CSV	5 years ago
__init__.py	ConvertTight: Detect and fix infeasibility	5 years ago
benchmark.py	Benchmark: Include solver log in results file	5 years ago
extractors.py	simulate_perfect: Do not overwrite original file	5 years ago
instance.py	Reformat source code with Black; add pre-commit hooks and CI checks	5 years ago
log.py	Reformat source code with Black; add pre-commit hooks and CI checks	5 years ago