diff options
| author | Glenn Johnson <glenn-johnson@uiowa.edu> | 2020-02-27 11:53:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-27 11:53:30 -0600 |
| commit | 2d0ae0deb2a84da824fa76a5da3b6ce202a00fcc (patch) | |
| tree | 0c7963de8b4944638467ade9c84be5e12453f83f /var | |
| parent | 130a77f3227707377de87675fc4434a2afb903f9 (diff) | |
| download | spack-2d0ae0deb2a84da824fa76a5da3b6ce202a00fcc.tar.gz spack-2d0ae0deb2a84da824fa76a5da3b6ce202a00fcc.tar.bz2 spack-2d0ae0deb2a84da824fa76a5da3b6ce202a00fcc.tar.xz spack-2d0ae0deb2a84da824fa76a5da3b6ce202a00fcc.zip | |
new package: py-pycosat (#15225)
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/py-pycosat/package.py | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/py-pycosat/package.py b/var/spack/repos/builtin/packages/py-pycosat/package.py new file mode 100644 index 0000000000..ac10891cef --- /dev/null +++ b/var/spack/repos/builtin/packages/py-pycosat/package.py @@ -0,0 +1,20 @@ +# Copyright 2013-2020 Lawrence Livermore National Security, LLC and other +# Spack Project Developers. See the top-level COPYRIGHT file for details. +# +# SPDX-License-Identifier: (Apache-2.0 OR MIT) + +from spack import * + + +class PyPycosat(PythonPackage): + """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).""" + + homepage = "https://github.com/ContinuumIO/pycosat" + url = "https://pypi.io/packages/source/p/pycosat/pycosat-0.6.3.zip" + + version('0.6.3', sha256='4c99874946a7e939bb941bbb019dd2c20e6068e3107c91366e7779c69d70e0ed') |