amiller
commented
5 years ago IMO this is not worth the effort. Perhaps we can make this "optional" since it is only required for powermix as not so likely to be useful to others?
Open Drake-Eidukas opened 5 years ago
amiller
commented
5 years ago IMO this is not worth the effort. Perhaps we can make this "optional" since it is only required for powermix as not so likely to be useful to others?
Currently, we use flint for solver, however, we already have the required functionality today through NTL. By refactoring solver to use this, we can cut out our build dependencies on flint, which should cut down our image size and build times.