Add floating-point support by Alt-Ergo FPA and mathsat
View options
- Truncate descriptions
Title says all. For mathsat see also #437


- Show labels
- Show closed items
No child items are currently assigned. Use child items to break down work into smaller parts.
- Show labels
- Show closed items
Link items together to show that they're related.
Copy branch name Copy reference
Copy branch name Copy reference