Open fingolfin opened 11 months ago
Strictly speaking this should be redundant with issue #16 because HeLP uses 4ti2interface; but in practice it also has a check for a zsolve binary being around...
zsolve
Strictly speaking this should be redundant with issue #16 because HeLP uses 4ti2interface; but in practice it also has a check for a
zsolve
binary being around...