normaliz: migrate to flint3 (#391815)
authored by Weijia Wang and committed by GitHub 10 months ago f6f5953c effcb329