--- /dev/null
+# Copyright 1999-2013 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=5
+
+DESCRIPTION="A SAT (boolean satisfiability) solver"
+HOMEPAGE="http://fmv.jku.at/lingeling/"
+SRC_URI="http://fmv.jku.at/lingeling/lingeling-ala-b02aa1a-121013.tar.gz"
+S=${WORKDIR}/lingeling-ala-b02aa1a-121013
+
+LICENSE="GPL"
+SLOT="0"
+KEYWORDS="~x86 ~amd64"
+IUSE=""
+
+DEPEND=""
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ ./configure || die
+}
+
+src_install() {
+ dodoc NEWS VERSION
+ dobin lingeling ilingeling plingeling
+ dolib liblgl.a
+ doheader lglib.h
+}