From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 317CC138247 for ; Mon, 13 Jan 2014 21:59:51 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id CFE9FE0B57; Mon, 13 Jan 2014 21:59:46 +0000 (UTC) Received: from out3-smtp.messagingengine.com (out3-smtp.messagingengine.com [66.111.4.27]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 4D1CAE0B56 for ; Mon, 13 Jan 2014 21:59:46 +0000 (UTC) Received: from compute5.internal (compute5.nyi.mail.srv.osa [10.202.2.45]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id 46369208EF for ; Mon, 13 Jan 2014 16:59:45 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute5.internal (MEProxy); Mon, 13 Jan 2014 16:59:45 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=message-id:date:from:mime-version:to :subject:references:in-reply-to:content-type :content-transfer-encoding; s=smtpout; bh=AdtDHFVYaCeHjl8X9b01dY GQgQU=; b=oR76SquK5rIfvF4f1Zp0bJFAPMa3kBKZXGBjF8BKlYG/C1vSlyP64F Ad61s0LsLTsEL4CkhN2flHx+rGflNWMh5cl5sB1SXYbTvyIY+CeKxuE9Agne5M7w Vy6+fJyMThiAClZZMk1G4Xd+Av7rOpBQspSo65+onQ5dNS16rF50Q= X-Sasl-enc: Tlgcw94JtJV4WdTJmst/8WXZ4tAAPpa6vlriHucoiB6J 1389650384 Received: from [192.168.178.35] (unknown [85.191.126.224]) by mail.messagingengine.com (Postfix) with ESMTPA id B8D5A680278 for ; Mon, 13 Jan 2014 16:59:44 -0500 (EST) Message-ID: <52D461CF.6040306@equaeghe.nospammail.net> Date: Mon, 13 Jan 2014 22:59:43 +0100 From: Erik Quaeghebeur User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-science@lists.gentoo.org Reply-to: gentoo-science@lists.gentoo.org MIME-Version: 1.0 To: gentoo-science@lists.gentoo.org Subject: Re: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)? References: <52D45996.4020201@equaeghe.nospammail.net> <01c8bc34aaf110a62e413bb229be93c8@slingshot.co.nz> In-Reply-To: <01c8bc34aaf110a62e413bb229be93c8@slingshot.co.nz> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Archives-Salt: 7db11d9e-204b-47e7-9d40-ebd4c98ed62b X-Archives-Hash: f27f9a257e28754d9bf49604f7fba0d7 >> [...] interested in trying out >> the SAT solver (powered by CryptoMiniSat). This is an optional >> package. Are such packages or this particular package available in >> some way? > > I don't believe we have such package in our tree. If you point me to > the sources I may be able to make one for you (and anyone else wanting it). Of course: * in reference: http://www.sagemath.org/doc/reference/sat/index.html * upstream spkg: https://bitbucket.org/malb/cryptominisat-spkg (for 2.9.6 version?) * upstream code: https://github.com/msoos/cryptominisat (for 3+ version?) It seems there is a version mismatch in the spkg and main upstream code... I don't know where to find the older code. Do you want me to ask Martin Albrecht to update the spkg? Best, Erik