Tue, 31 Jan 2023 16:04:23 UTC

Information for build minisat2-2.0-7.20070721.fc10

ID59609
Package Nameminisat2
Version2.0
Release7.20070721.fc10
Epoch
SummaryA minimalistic, open-source SAT solver
DescriptionMiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed for researchers and developers alike. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.
Built bydwheeler
State complete
Volume fedora_koji_archive00
StartedThu, 14 Aug 2008 04:34:27 UTC
CompletedThu, 14 Aug 2008 04:44:18 UTC
Taskbuild (dist-f10, /cvs/pkgs:rpms/minisat2/devel:minisat2-2_0-7_20070721_fc10)
Tags
dist-f10
f10-beta
f10-final
f11-alpha
f11-alpha-2
RPMs
src
minisat2-2.0-7.20070721.fc10.src.rpm (info) (download)
i386
minisat2-2.0-7.20070721.fc10.i386.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.i386.rpm (info) (download)
ppc
minisat2-2.0-7.20070721.fc10.ppc.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.ppc.rpm (info) (download)
ppc64
minisat2-2.0-7.20070721.fc10.ppc64.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.ppc64.rpm (info) (download)
x86_64
minisat2-2.0-7.20070721.fc10.x86_64.rpm (info) (download)
minisat2-debuginfo-2.0-7.20070721.fc10.x86_64.rpm (info) (download)
Logs
i386
build.log
root.log
state.log
ppc
build.log
root.log
state.log
ppc64
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-7.20070721 - Removed code for switching between -O2 and -O3, per reviewer request. * Thu Aug 07 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-6.20070721 - Timing tests found -O3 was unhelpful; switched back to -O2, but left stub in case a switch to another -O level would help in the future. -O3 real 0m35.714s, 0m35.714s, 0m35.834s vs. -O2 real 0m35.296s, 0m35.301s * Tue Jul 08 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-5.20070721 - Moved to higher optimization level (-O3); speed is critical for this app. * Tue Jul 08 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-4.20070721 - Different version number convention to better conform to Fedora guidelines - Made macro use consistent (not used for simple commands) - Documented when patches and documentation sent upstream * Sat Jun 28 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-3.20070721 - Use "make r" instead of "make" to create "released" version - Wrote brief user guide, included as part of this package. * Fri Jun 27 2008 David A. Wheeler <dwheeler at, dwheeler.com> 2.0-2.20070721 - Switched from minimal "core" to more-capable "simp" (simplifier) - Change "make" invocation so CFLAGS includes %{optflags} - Add test file and %check section (so we'd know if it worked!) - Modified description for people who don't know what SAT solvers are. * Thu Jun 26 2008 Earl Sammons <esammons at, hush.com> 2.0-1.20070721 - Initial build - Include Debian patches minisat2-FPU.patch and minisat2-template.patch