florianschanda/PyMPF
Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
PythonGPL-3.0
Issues
- 0
comparison should take into account None
#19 opened by florianschanda - 2
- 0
refactor repository
#17 opened by florianschanda - 1
- 0
create benchmarks for float -> int
#14 opened by florianschanda - 0
create benchmarks for int -> float
#15 opened by florianschanda - 1
produce benchmarks for nextup/nextdown
#13 opened by florianschanda - 1
- 1
- 1
- 1
- 1
- 0
- 0
support RNA fully
#1 opened by florianschanda - 1