Open ugur-a opened 3 weeks ago
Oops, it looks like a lot of tests broke. I'll take a look
So there are 2 reasons for the failures:
1) predictably, attribute_names
in src/attribute.rs
There's already a TODO there -- basically, there aren't any general constraints actually implemented, so I can't create one and test it against a corresponding attribute.
2) integrations tests iis
, heuristic_soln
and phases
For each of these, gzip that complains about the files:
This PR adds all* the necessary bits and pieces for implementing general constraints.
* Actually, I keep finding new places I missed every time I look through the crate, so I'm pretty sure some are still missing. But I think I've got a lot of them already
TODOs
Model::feas_relax
may require further changes?References