Package Details: symfpu-cvc5 r20230627.e6ac3af-3

Git Clone URL: (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:
Licenses: GPL3
Provides: symfpu
Submitter: Neferin
Maintainer: Neferin
Last Packager: Neferin
Votes: 1
Popularity: 0.138726
First Submitted: 2023-09-16 21:06 (UTC)
Last Updated: 2024-06-22 10:25 (UTC)