Refactoring core code base of the FLINT software.
Primary LanguageC++Mozilla Public License 2.0MPL-2.0