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.

RPM resource fes

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).

Found 2 sites for fes

• https://www-almasty.lip6.fr/~bouillaguet/implementation.html
• https://cbouilla.github.io/implementation.html

Found 10 RPM for fes

Generated by rpm2html 1.6

Fabrice Bellet