Package Details: symfpu-cvc5 r20230627.e6ac3af-3

Git Clone URL: https://aur.archlinux.org/symfpu-cvc5.git (read-only, click to copy)
Package Base: symfpu-cvc5
Description: A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5
Upstream URL: https://github.com/cvc5/symfpu
Licenses: GPL3
Provides: symfpu
Submitter: Neferin
Maintainer: Neferin
Last Packager: Neferin
Votes: 1
Popularity: 0.000018
First Submitted: 2023-09-16 21:06 (UTC)
Last Updated: 2024-06-22 10:25 (UTC)

Latest Comments

CyanoKobalamyne commented on 2025-09-06 00:24 (UTC)

Hi! Would you mind adding a pkg-config file? Like such:

prefix=/usr
includedir=${prefix}/include

Name: symfpu
Version: r20230627.e6ac3af-3
Description: A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5
Cflags: -I${includedir}

This would allow cvc5 and bitwuzla to discover sympfu out of the box. GUIX does something similar: https://codeberg.org/guix/guix/src/commit/1f0abd8ff511b2e22858864476d6f566809020c0/gnu/packages/maths.scm#L8482-L8490