From 2d0ae0deb2a84da824fa76a5da3b6ce202a00fcc Mon Sep 17 00:00:00 2001 From: Glenn Johnson Date: Thu, 27 Feb 2020 11:53:30 -0600 Subject: new package: py-pycosat (#15225) --- .../repos/builtin/packages/py-pycosat/package.py | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 var/spack/repos/builtin/packages/py-pycosat/package.py 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') -- cgit v1.2.3-70-g09d2