</upstream>
<use>
<flag name="readline">Use TCL readline package (links the GNU readline library)</flag>
- <flag name="zlib">Use zlib</flag>
</use>
<longdescription>
OpenSTA is a gate level static timing verifier. As a stand-alone executable
<upstream>
<remote-id type="github">ssoelvsten/cudd</remote-id>
</upstream>
-<use>
- <flag name="static-libs">Build static libraries in addition to shared</flag>
-</use>
<longdescription>
CUDD stands for Colorado University Decision Diagram. It is a package for
the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision
</upstream>
<use>
<flag name="boost">Use Boost (required for a functioning binary)</flag>
- <flag name="gmp">Use GMP</flag>
<flag name="highs">Use HiGHS solver</flag>
<flag name="tbb">Use TBB (highly recommended)</flag>
<flag name="papilo">Use SoPlex</flag>
</upstream>
<use>
<flag name="bliss">Use bliss graph automorphism solver</flag>
- <flag name="gmp">Use GMP</flag>
<flag name="ipopt">Use ipopt optimizer</flag>
- <flag name="lto">Enable LTO</flag>
<flag name="mpfr">Use MPFR</flag>
<flag name="nauty">Use nauty graph automorphism solver</flag>
<flag name="papilo">Use PaPILo presolver</flag>
<flag name="zimpl">Use ZIMPL language</flag>
- <flag name="zlib">Use ZLIB</flag>
</use>
<longdescription>
SCIP is one of the fastest academically developed solvers for mixed integer
</upstream>
<use>
<flag name="boost">Use Boost (required to build the binary)</flag>
- <flag name="gmp">Use GMP</flag>
- <flag name="lto">Enable LTO</flag>
<flag name="mpfr">Use MPFR</flag>
<flag name="papilo">Use PaPILo</flag>
<flag name="quadmath">Use GCC's quadmath</flag>
- <flag name="zlib">Use ZLIB</flag>
</use>
<longdescription>
SoPlex is an optimization package for solving linear programming problems (LPs)