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.
This external library implements an efficient implement of exhaustive search to solve systems of low-degree boolean equations. Exhaustive search is asymptotically faster than computing a Groebner basis, except in special cases. This particular implementation is particularly efficient (in the good cases it tests 3 candidate solutions per CPU cycle on each core).
Package | Summary | Distribution | Download |
fes-0.2-13.fc41.i686.html | Fast Exhaustive Search | Fedora 41 for x86_64 | fes-0.2-13.fc41.i686.rpm |
fes-0.2-13.fc41.x86_64.html | Fast Exhaustive Search | Fedora 41 for x86_64 | fes-0.2-13.fc41.x86_64.rpm |
fes-0.2-12.fc40.i686.html | Fast Exhaustive Search | Fedora 40 for x86_64 | fes-0.2-12.fc40.i686.rpm |
fes-0.2-12.fc40.x86_64.html | Fast Exhaustive Search | Fedora 40 for x86_64 | fes-0.2-12.fc40.x86_64.rpm |
fes-0.2-10.fc39.i686.html | Fast Exhaustive Search | Fedora 39 for x86_64 | fes-0.2-10.fc39.i686.rpm |
fes-0.2-10.fc39.x86_64.html | Fast Exhaustive Search | Fedora 39 for x86_64 | fes-0.2-10.fc39.x86_64.rpm |
Generated by rpm2html 1.6