SMT-LIB interpretation of floating-point arithmetic
Description
Description
Details
Details
- Provenance
Tjark Weber <tjark.weber@it.uu.se> Authored on - Parents
- rAFP75232d03666a: IEEE model with a single NaN value
- Branches
- Unknown
- Tags
SMT-LIB interpretation of floating-point arithmetic Tags None Subscribers None |