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 263C5138247 for ; Tue, 14 Jan 2014 21:11:27 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 1ACB5E09C2; Tue, 14 Jan 2014 21:11:26 +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 92230E09C1 for ; Tue, 14 Jan 2014 21:11:25 +0000 (UTC) Received: from compute1.internal (compute1.nyi.mail.srv.osa [10.202.2.41]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id DD5F620FCE for ; Tue, 14 Jan 2014 16:11:24 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Tue, 14 Jan 2014 16:11:24 -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=hqRq9vrONt14bYhEd5JCOi LYIdU=; b=qkf4nR7OzQwR+kBX01r1ZY6JkqNbbcxspVlNO5hAhQdjG+QWqdS1xe +TBgPRBlleiJrLTRHP3t3BSAsgf4C/BosUdSrEgDC5myglWZqafGOW5g6LWQyLSe 7YROtZsAWZJdmtVreBnpSjsx5OXhQ4403zXO1zwNuutJcZ0GZOwao= X-Sasl-enc: B8n7C7oRyyKsY3nBGZGkDJCppoZKbdfWwhqynbRcbKgU 1389733884 Received: from [192.168.178.35] (unknown [85.191.126.224]) by mail.messagingengine.com (Postfix) with ESMTPA id 5BAA86800B2 for ; Tue, 14 Jan 2014 16:11:24 -0500 (EST) Message-ID: <52D5A7FB.2050302@equaeghe.nospammail.net> Date: Tue, 14 Jan 2014 22:11:23 +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> <52D461CF.6040306@equaeghe.nospammail.net> <7b3d7121bfef543aaa751b45fb412b14@slingshot.co.nz> In-Reply-To: <7b3d7121bfef543aaa751b45fb412b14@slingshot.co.nz> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Archives-Salt: 2fdf7f90-a6c4-4695-b582-48f1ea9d47ba X-Archives-Hash: bf73dea6183d41c7813ccb59dd54f0e8 op 13-01-14 23:08, François Bissey schreef: > On 2014-01-14 10:59, Erik Quaeghebeur wrote: > >>>> [...] interested in trying out the SAT solver (powered by >>>> CryptoMiniSat). >>> >>> [...] point me to the sources [...] >> >> 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? >> >> > up to you for the update in sage. But I will make an ebuild based on > the available source. I could technically steal the source from the > spkg and host them on lmona.de but I would rather not do that if > possible. Upstream spkg maintainer is informed and likely to look at this at some point. Sage ticket: http://trac.sagemath.org/ticket/15674