1 # Copyright 1999-2013 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
7 DESCRIPTION="A SAT (boolean satisfiability) solver"
8 HOMEPAGE="http://fmv.jku.at/lingeling/"
9 SRC_URI="http://fmv.jku.at/lingeling/lingeling-ala-b02aa1a-121013.tar.gz"
10 S=${WORKDIR}/lingeling-ala-b02aa1a-121013
14 KEYWORDS="~x86 ~amd64"
26 dobin lingeling ilingeling plingeling