Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
external_software [2019/01/26 11:02] – ↷ Links adapted because of a move operation oroehrig | external_software [2019/01/29 22:20] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 45: | Line 45: | ||
** < | ** < | ||
.. Visualizes 3D- and 4D-polytopes (and much more). | .. Visualizes 3D- and 4D-polytopes (and much more). | ||
+ | ** < | ||
+ | .. SCIP is a solver for Mixed Integer Linear and Nonlinear Problems that allows for an easy integration of arbitrary constraints. | ||
+ | .. //Note:// Please build SCIP with '' | ||
+ | |||
===== Other interfaces to external software ===== | ===== Other interfaces to external software ===== | ||
Line 80: | Line 84: | ||
** [[http:// | ** [[http:// | ||
.. barvinok is a library for counting the number of integer points in parametrized and non-parametrized polytopes. For parametrized polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed. This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. | .. barvinok is a library for counting the number of integer points in parametrized and non-parametrized polytopes. For parametrized polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed. This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. | ||
- | .. Rule files using barvinok for the computation of the number of lattice points and the coefficients of the Ehrhart polynomial are currently not part of the standard polymake distribution. They are available as a [[:download: | + | .. Rule files using barvinok for the computation of the number of lattice points and the coefficients of the Ehrhart polynomial are currently not part of the standard polymake distribution. They are available as a [[: |
- | ** [[http:// | + | ** [[http:// |
.. A software package for algebraic, geometric and combinatorial problems on linear spaces. | .. A software package for algebraic, geometric and combinatorial problems on linear spaces. | ||
** < | ** < | ||
Line 98: | Line 102: | ||
Note: Version numbers given in the descriptions are not binding. These are the latest versions that we are aware of and proven to work with polymake. You are free to use other versions as long as the backward compatibility (API and/or interchange file format, whatever appropriate) is preserved. | Note: Version numbers given in the descriptions are not binding. These are the latest versions that we are aware of and proven to work with polymake. You are free to use other versions as long as the backward compatibility (API and/or interchange file format, whatever appropriate) is preserved. | ||
+ |