From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gentoo-science+bounces-1870-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
	by finch.gentoo.org (Postfix) with ESMTP id 20E0D138247
	for <garchives@archives.gentoo.org>; Mon, 13 Jan 2014 21:24:47 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
	by pigeon.gentoo.org (Postfix) with SMTP id 76090E09EB;
	Mon, 13 Jan 2014 21:24:44 +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 DB018E09AA
	for <gentoo-science@lists.gentoo.org>; Mon, 13 Jan 2014 21:24:43 +0000 (UTC)
Received: from compute3.internal (compute3.nyi.mail.srv.osa [10.202.2.43])
	by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id 23F6521297
	for <gentoo-science@lists.gentoo.org>; Mon, 13 Jan 2014 16:24:39 -0500 (EST)
Received: from frontend2 ([10.202.2.161])
  by compute3.internal (MEProxy); Mon, 13 Jan 2014 16:24:39 -0500
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=
	messagingengine.com; h=message-id:date:from:mime-version:to
	:subject:content-type:content-transfer-encoding; s=smtpout; bh=U
	mm3cNfPIPB6tg10ZCkKUgkKcks=; b=o+qrN06FX22RqvvIChXu3VZo3al05f8hD
	eNGv36I6W8LN/FN9Iy6xkF9yqZ0wRTrjZ2Pk8eYNQkV1GCsTJmtGYD1djQVFmtHd
	kFJ5uAy3g5exxFVkemMn2Edr3hrBlUYQweR25p/vUUhB84aOCRnt4nd3J+YK72y7
	ODd0bk0ts8=
X-Sasl-enc: Tm0FdqhhmAm0LMcLVVQEvbLA7Vz+LY8WqVDve2CRhd6k 1389648278
Received: from [192.168.178.35] (unknown [85.191.126.224])
	by mail.messagingengine.com (Postfix) with ESMTPA id C0179680251
	for <gentoo-science@lists.gentoo.org>; Mon, 13 Jan 2014 16:24:38 -0500 (EST)
Message-ID: <52D45996.4020201@equaeghe.nospammail.net>
Date: Mon, 13 Jan 2014 22:24:38 +0100
From: Erik Quaeghebeur <gentoo@equaeghe.nospammail.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0
Precedence: bulk
List-Post: <mailto:gentoo-science@lists.gentoo.org>
List-Help: <mailto:gentoo-science+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-science+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-science+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-science.gentoo.org>
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: [gentoo-science] sage-on-gentoo: possible to install optional package (cryptominisat)?
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Archives-Salt: 5efa18c6-2c36-4ffb-bcce-8e60a7c1b8f0
X-Archives-Hash: 92ec2b89e9d95a164859910656a39051

Hi,


I've just installed sage-on-gentoo and was 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?


Thanks,

Erik