|
|
4224586d10
|
Remove sample.{get,set}
|
2021-07-27 09:00:04 -05:00 |
|
|
|
ef9c48d79a
|
Replace Hashable by str
|
2021-07-15 16:21:40 -05:00 |
|
|
|
061b1349fe
|
Move user_cuts/lazy_enforced to sample.data
|
2021-07-01 08:46:27 -05:00 |
|
|
|
80281df8d8
|
Replace instance.samples by instance.get/push_sample
|
2021-06-29 16:49:24 -05:00 |
|
|
|
c4a6665825
|
Remove obsolete methods
|
2021-04-13 09:42:25 -05:00 |
|
|
|
c26b852c67
|
Update UserCutsComponent
|
2021-04-13 09:08:49 -05:00 |
|
|
|
088d679f61
|
Redesign InternalSolver constraint methods
|
2021-04-10 15:53:38 -05:00 |
|
|
|
e9cd6d1715
|
Add types to remaining files; activate mypy's disallow_untyped_defs
|
2021-04-07 21:25:30 -05:00 |
|
|
|
0232219a0e
|
Make InternalSolver clonable
|
2021-04-07 19:52:21 -05:00 |
|
|
|
1cf6124757
|
Refer to variables by varname instead of (vname, index)
|
2021-04-07 11:56:05 -05:00 |
|
|
|
f90f295620
|
Reorganize instance package
|
2021-04-06 16:31:47 -05:00 |
|
|
|
332cdbd839
|
Update copyright year
|
2021-04-06 16:22:56 -05:00 |
|
|
|
9e7eed1dbd
|
Finish rewrite of user cuts component
|
2021-04-06 16:17:05 -05:00 |
|
