Description
Floating-point reasoning code for cvc5 can include SymFPU headers implementing IEEE-754 and SMT-LIB behavior. It installs header files under /usr/include/symfpu for solver developers rather than a runnable tool.
FICHA · AUR
symfpu-cvc5
A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5
- header-library
- Dev
- LIBRARY
- Dependency only
official+codex · reviewed · Jun 4, 2026 description in
en Permissions
Permissions not analysed for this source yet.