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 roundingsat

RoundingSat solves decision and optimization problems formulated as 0-1 integer linear programs. Features: - Native conflict analysis over 0-1 integer linear constraints, constructing full-blown cutting planes proofs. - Highly efficient watched propagation routines. - Seamless use of multiple precision arithmetic. - Optional integration with the SoPlex LP solver. - Linear and core-guided optimization. - Certified unsatisfiability and optimality. All of these combine to make RoundingSat the world's fastest pseudo-Boolean solver.

Found 1 sites for roundingsat

• https://roundingsat.org/

Found 12 RPM for roundingsat

Generated by rpm2html 1.6

Fabrice Bellet