List of Open Source Software which can be built on Fugaku
 |
Spack will be used to manage open source software packages on Fugaku.
Fugaku users can easily use pre-installed packages and built packages based on Spack recipes.
The following list shows the results of building/compiling packages for aarch64 according to the Spack recipes.
Note that the results in this list do not guarantee that each package will work properly.
On the other hand, Fujitsu will provide the following packages compiled with Fujitsu compiler on Fugaku as "external" packages, of which Spack can be aware.
|
py-pycosat
Package
py-pycosat
Description
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself. For ease of deployment, the picosat source
(namely picosat.c and picosat.h) is included in this project. These
files have been extracted from the picosat source (picosat-965.tar.gz).
Note
<= Back to list