BDEPEND=app-alternatives/ninja >=dev-build/cmake-3.20.5 DEFINED_PHASES=compile configure install prepare test DEPEND=sys-libs/zlib:= DESCRIPTION=Small yet efficient SAT solver with reference paper EAPI=8 HOMEPAGE=http://minisat.se/Main.html https://github.com/stp/minisat/ INHERIT=cmake IUSE=doc KEYWORDS=~amd64 ~x86 LICENSE=MIT RDEPEND=sys-libs/zlib:= SLOT=0/2.2.1 SRC_URI=https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz -> minisat-2.2.1.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf ) _eclasses_=toolchain-funcs 333970c740aa7b1a92e4fcdc52f612bd multilib c19072c3cd7ac5cb21de013f7e9832e0 flag-o-matic e503ea5acc20410237ba33ec3f7c857d multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils baea6080dd821f5562d715887954c9d3 cmake 10a50dfaf728b802fcfd37f8d0da9056 _md5_=5ea1be27bc65784e2692a2a88abe2b96