/PyMPF

Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Issues