 Alinson S. Xavier
|
13e142432a
|
Add types to remaining InternalSolver methods
|
5 years ago |
|
Alinson S. Xavier
|
6890840c6d
|
InternalSolver: Better specify and test infeasibility
|
5 years ago |
|
Alinson S. Xavier
|
23dd311d75
|
Reorganize imports; start moving data to instance.training_data
|
5 years ago |
|
Alinson S. Xavier
|
947189f25f
|
Disallow untyped calls and incomplete defs
|
5 years ago |
|
Alinson S. Xavier
|
1971389a57
|
Add types to InternalSolver
|
5 years ago |
|
Alinson S. Xavier
|
185025e86c
|
Remove methods to set solver parameters
|
5 years ago |
|
Alinson S. Xavier
|
137247aed9
|
GurobiSolver: Randomize seed
|
5 years ago |
|
Alinson S. Xavier
|
d67af4a26b
|
ConvertTight: Detect and fix sub-optimality
|
5 years ago |
|
Alinson S. Xavier
|
f77d1d5de9
|
ConvertTight: Detect and fix infeasibility
|
5 years ago |
|
Alinson S. Xavier
|
bdfe343fea
|
Silence debug statements
|
5 years ago |
|
Alinson S. Xavier
|
4057a65506
|
ConvertTightIneqs: Convert only inequalities, not equalities
|
5 years ago |
|
Alinson S. Xavier
|
5b5f4b7671
|
InternalSolver: set_constraint_sense, set_constraint_rhs
|
5 years ago |
|
Alinson S. Xavier
|
d99600f101
|
Reformat source code with Black; add pre-commit hooks and CI checks
|
5 years ago |
|
Alinson S. Xavier
|
1b6982ae8d
|
Implement RelaxationComponent
|
5 years ago |
|
Alinson S. Xavier
|
92615958fb
|
GurobiSolver: Flip upper/lower bound for minimization problems
|
5 years ago |
|
Alinson S. Xavier
|
a221740ac5
|
Implement lazy callbacks & two-phase gap
|
5 years ago |
|
Alinson S. Xavier
|
ba96338d2d
|
Small fixes to lazy constraints
|
5 years ago |
|
Alinson S. Xavier
|
425ea2b7cc
|
Temporarily remove native solver callbacks; add iteration_cb
|
5 years ago |
