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 1971389a57 Add types to InternalSolver		5 years ago
..
classifiers	Reformat source code with Black; add pre-commit hooks and CI checks	5 years ago
components	Fix various warnings	5 years ago
problems	Require a callable as the internal solver	5 years ago
solvers	Add types to InternalSolver	5 years ago
tests	Fix some _compute_gap corner cases; add tests	5 years ago
__init__.py	ConvertTight: Detect and fix infeasibility	5 years ago
benchmark.py	Fix some _compute_gap corner cases; add tests	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	Fix various warnings	5 years ago