Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource symfpu

SymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of bit-vector operations. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used. This allow the same code to be executed as an arbitrary precision "SoftFloat" library (although it's performance would not be good) or to be used to build symbolic representation of floating-point operations suitable for use in "bit-blasting" SMT solvers (you could also generate circuits from them but again, performance will likely not be good).

Found 1 sites for symfpu

Found 23 RPM for symfpu

PackageSummaryDistributionDownload
symfpu-0-0.16.20190517gitc3acaf6.fc40.aarch64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora Rawhide for aarch64symfpu-0-0.16.20190517gitc3acaf6.fc40.aarch64.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.aarch64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 40 for aarch64symfpu-0-0.16.20190517gitc3acaf6.fc40.aarch64.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.ppc64le.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora Rawhide for ppc64lesymfpu-0-0.16.20190517gitc3acaf6.fc40.ppc64le.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.ppc64le.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 40 for ppc64lesymfpu-0-0.16.20190517gitc3acaf6.fc40.ppc64le.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.s390x.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora Rawhide for s390xsymfpu-0-0.16.20190517gitc3acaf6.fc40.s390x.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.s390x.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 40 for s390xsymfpu-0-0.16.20190517gitc3acaf6.fc40.s390x.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.x86_64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora Rawhide for x86_64symfpu-0-0.16.20190517gitc3acaf6.fc40.x86_64.rpm
symfpu-0-0.16.20190517gitc3acaf6.fc40.x86_64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 40 for x86_64symfpu-0-0.16.20190517gitc3acaf6.fc40.x86_64.rpm
symfpu-0-0.15.20190517gitc3acaf6.fc39.aarch64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 39 for aarch64symfpu-0-0.15.20190517gitc3acaf6.fc39.aarch64.rpm
symfpu-0-0.15.20190517gitc3acaf6.fc39.i686.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 39 for x86_64symfpu-0-0.15.20190517gitc3acaf6.fc39.i686.rpm
symfpu-0-0.15.20190517gitc3acaf6.fc39.ppc64le.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 39 for ppc64lesymfpu-0-0.15.20190517gitc3acaf6.fc39.ppc64le.rpm
symfpu-0-0.15.20190517gitc3acaf6.fc39.s390x.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 39 for s390xsymfpu-0-0.15.20190517gitc3acaf6.fc39.s390x.rpm
symfpu-0-0.15.20190517gitc3acaf6.fc39.x86_64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 39 for x86_64symfpu-0-0.15.20190517gitc3acaf6.fc39.x86_64.rpm
symfpu-0-0.13.20190517gitc3acaf6.fc38.aarch64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 38 for aarch64symfpu-0-0.13.20190517gitc3acaf6.fc38.aarch64.rpm
symfpu-0-0.13.20190517gitc3acaf6.fc38.i686.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 38 for x86_64symfpu-0-0.13.20190517gitc3acaf6.fc38.i686.rpm
symfpu-0-0.13.20190517gitc3acaf6.fc38.ppc64le.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 38 for ppc64lesymfpu-0-0.13.20190517gitc3acaf6.fc38.ppc64le.rpm
symfpu-0-0.13.20190517gitc3acaf6.fc38.s390x.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 38 for s390xsymfpu-0-0.13.20190517gitc3acaf6.fc38.s390x.rpm
symfpu-0-0.13.20190517gitc3acaf6.fc38.x86_64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 38 for x86_64symfpu-0-0.13.20190517gitc3acaf6.fc38.x86_64.rpm
symfpu-0-0.11.20190517gitc3acaf6.fc37.aarch64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 37 for aarch64symfpu-0-0.11.20190517gitc3acaf6.fc37.aarch64.rpm
symfpu-0-0.11.20190517gitc3acaf6.fc37.i686.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 37 for x86_64symfpu-0-0.11.20190517gitc3acaf6.fc37.i686.rpm
symfpu-0-0.11.20190517gitc3acaf6.fc37.ppc64le.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 37 for ppc64lesymfpu-0-0.11.20190517gitc3acaf6.fc37.ppc64le.rpm
symfpu-0-0.11.20190517gitc3acaf6.fc37.s390x.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 37 for s390xsymfpu-0-0.11.20190517gitc3acaf6.fc37.s390x.rpm
symfpu-0-0.11.20190517gitc3acaf6.fc37.x86_64.htmlAn implementation of IEEE-754 / SMT-LIB floating-pointFedora 37 for x86_64symfpu-0-0.11.20190517gitc3acaf6.fc37.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet