From mboxrd@z Thu Jan 1 00:00:00 1970 From: Muriithi Frederick Muriuki Subject: [PATCH 4/6] gnu: Add python-pycosat Date: Thu, 9 Feb 2017 20:48:35 +0300 Message-ID: <20170209174837.30914-4-fredmanglis@gmail.com> References: <20170209174837.30914-1-fredmanglis@gmail.com> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:41269) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cbsoz-0007vs-1w for guix-devel@gnu.org; Thu, 09 Feb 2017 12:47:54 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cbsoy-0000Em-2P for guix-devel@gnu.org; Thu, 09 Feb 2017 12:47:53 -0500 Received: from mail-wm0-x244.google.com ([2a00:1450:400c:c09::244]:32860) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cbsox-0000Do-TG for guix-devel@gnu.org; Thu, 09 Feb 2017 12:47:52 -0500 Received: by mail-wm0-x244.google.com with SMTP id v77so3973040wmv.0 for ; Thu, 09 Feb 2017 09:47:51 -0800 (PST) In-Reply-To: <20170209174837.30914-1-fredmanglis@gmail.com> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Cc: Muriithi Frederick Muriuki * gnu/packages/python.scm (python-pycosat): New variable. --- gnu/packages/python.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index 9e17caf..e9df67c 100644 --- a/gnu/packages/python.scm +++ b/gnu/packages/python.scm @@ -12604,3 +12604,24 @@ faster ones are not available.") (description "DDT (Data-Driven Tests) allows you to multiply one test case by running it with different test data, and make it appear as multiple test cases.") (license license:expat))) + +(define-public python-pycosat + (package + (name "python-pycosat") + (version "0.6.1") + (source + (origin + (method url-fetch) + (uri (pypi-uri "pycosat" version)) + (sha256 + (base32 + "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l")))) + (build-system python-build-system) + (home-page + "https://github.com/ContinuumIO/pycosat") + (synopsis "Bindings to picosat (a SAT solver)") + (description + "This package provides efficient Python bindings to @code{picosat} on the C level, + i.e. when importing pycosat, the @code{picosat} solver becomes part of the Python process + itself. @code{picosat} is a Boolean Satisfiability Problem (SAT) solver") + (license license:expat))) -- 2.10.2