sci-mathematics / minisat

Small yet efficient SAT solver with reference paper

Official package sites : http://minisat.se/Main.html ·

v2.2.0_p20130925 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~amd64-linux ~x86 ~x86-linux
USE flags
debug doc

v2.2.0-r4 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64 ~amd64-linux ~x86 ~x86-linux
USE flags
debug doc extended-solver

General

debug
Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
extended-solver
Build extended version of SAT solver with additional features.

sys-libs / zlib : Standard (de)compression library

sys-libs / zlib : Standard (de)compression library

dev-libs / link-grammar : A Syntactic English parser

sci-mathematics / nusmv : NuSMV: new symbolic model checker

593662
dev-libs/link-grammar: ebuilds build and install bundled copy of sci-mathematics/minisat
667976
sci-mathematics/minisat-2.2.0-r4 is not honoring rules in template.mk to exclude Main.o* when creating libminisat.a
694982
sci-mathematics/minisat-2.2.0_p20130925: header fix inserts incomplete path
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Gerhard Bräunlich · gentoo
sci-mathematics/minisat: Adding minisat-2.2.0_p20130925
Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2282 Signed-off-by: David Seifert <soap@gentoo.org>
Gerhard Bräunlich · gentoo
sci-mathematics/minisat: Unsiliencing makefile
Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2282 Signed-off-by: David Seifert <soap@gentoo.org>
Gerhard Bräunlich · gentoo
sci-mathematics/minisat: Removing EAPI 2 ebuilds
Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2279 Signed-off-by: David Seifert <soap@gentoo.org>
Gerhard Bräunlich · gentoo
sci-mathematics/minisat: revbump (EAPI 2 -> 6)
Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2279 Signed-off-by: David Seifert <soap@gentoo.org>
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed