From 3cf47fed3de90d4147954e06a3d93aeb73ad75b4 Mon Sep 17 00:00:00 2001 From: tigro Date: Sat, 4 Jan 2025 16:41:27 +0300 Subject: [PATCH] import picosat-965-22.el10 --- .gitignore | 1 + .picosat.metadata | 1 + SOURCES/picomus.1 | 55 ++++++++ SOURCES/picosat-trace.patch | 87 ++++++++++++ SOURCES/picosat.1 | 202 ++++++++++++++++++++++++++ SOURCES/picosat.trace.1 | 1 + SPECS/picosat.spec | 273 ++++++++++++++++++++++++++++++++++++ 7 files changed, 620 insertions(+) create mode 100644 .gitignore create mode 100644 .picosat.metadata create mode 100644 SOURCES/picomus.1 create mode 100644 SOURCES/picosat-trace.patch create mode 100644 SOURCES/picosat.1 create mode 100644 SOURCES/picosat.trace.1 create mode 100644 SPECS/picosat.spec diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..242ff6b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +SOURCES/picosat-965.tar.gz diff --git a/.picosat.metadata b/.picosat.metadata new file mode 100644 index 0000000..14e8079 --- /dev/null +++ b/.picosat.metadata @@ -0,0 +1 @@ +66869e4be43dcf6765b047d5bb20b7b1fa32eb16 SOURCES/picosat-965.tar.gz diff --git a/SOURCES/picomus.1 b/SOURCES/picomus.1 new file mode 100644 index 0000000..0e38fc8 --- /dev/null +++ b/SOURCES/picomus.1 @@ -0,0 +1,55 @@ +.TH "PICOMUS" "1" "Version 936" "PicoSAT" "User Commands" +.SH "NAME" +picomus \- Minimal Unsatisfiable Core (MUS) generator +.SH "SYNOPSIS" +.B picomus +[\fIOPTION\fR]... [\fIINPUT\fR [\fIOUTPUT\fR]] +.SH "DESCRIPTION" +.\" Add any additional description here +.PP +PicoMUS is a satisfiability (SAT) solver that generates a minimal unsatisfiable +core, using the PicoSAT library. + +.SH "OPTIONS" +.TP +.BI \-h +print this command line option summary and exit + +.TP +.BI \-v +enable verbose output + +.PP +If no input filename is given, or the input filename is "-", then standard +input is used. If the output filename is "-", then standard output is used. +If no output filename is given, then the MUS is computed but not printed. + +.SH "CONFORMING TO" +.PP +This program uses DIMACS CNF format as input. The output conforms to the +standard SAT solver format used at SAT competitions. + +.SH "EXIT STATUS" +.PP +The output is a number of lines. +Most of these will begin with "c" (comment), and give detailed +technical information. +The output line beginning with "s" declares whether or not +it is satisfiable. +The line "s SATISFIABLE" is produced if it is satisfiable +(exit status 10), +and "s UNSATISFIABLE" is produced if it is not satisfiable +(exit status 20). + +.SH "AUTHORS" +picomus was written by Armin Biere +.PP +This man page was written by Jerry James. +It is released to the public domain; you may use it in any way you wish. + +.SH "SEE ALSO" +.PP +\fIpicosat\fP(1), \fIminisat2\fP(1). + +.\" This documentation was written by Jerry James in 2011, and +.\" is released to the public domain. Anyone can use it, in any way. diff --git a/SOURCES/picosat-trace.patch b/SOURCES/picosat-trace.patch new file mode 100644 index 0000000..74d6dcc --- /dev/null +++ b/SOURCES/picosat-trace.patch @@ -0,0 +1,87 @@ +--- ./makefile.in.orig 2016-01-13 00:19:13.000000000 -0700 ++++ ./makefile.in 2016-01-13 19:45:19.860821928 -0700 +@@ -12,16 +12,16 @@ clean: + analyze: + clang --analyze $(CFLAGS) *.c *.h + +-picosat: libpicosat.a app.o main.o ++picosat: libpicosat.so app.o main.o + $(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat + +-picomcs: libpicosat.a picomcs.o ++picomcs: libpicosat.so picomcs.o + $(CC) $(CFLAGS) -o $@ picomcs.o -L. -lpicosat + +-picomus: libpicosat.a picomus.o ++picomus: libpicosat.so picomus.o + $(CC) $(CFLAGS) -o $@ picomus.o -L. -lpicosat + +-picogcnf: libpicosat.a picogcnf.o ++picogcnf: libpicosat.so picogcnf.o + $(CC) $(CFLAGS) -o $@ picogcnf.o -L. -lpicosat + + app.o: app.c picosat.h makefile +@@ -40,10 +40,10 @@ main.o: main.c picosat.h makefile + $(CC) $(CFLAGS) -c $< + + picosat.o: picosat.c picosat.h makefile +- $(CC) $(CFLAGS) -c $< ++ $(CC) $(CFLAGS) -fPIC -c $< + + version.o: version.c config.h makefile +- $(CC) $(CFLAGS) -c $< ++ $(CC) $(CFLAGS) -fPIC -c $< + + config.h: makefile VERSION mkconfig.sh # and actually picosat.c + rm -f $@; ./mkconfig.sh > $@ +@@ -54,6 +54,6 @@ libpicosat.a: picosat.o version.o + + SONAME=-Xlinker -soname -Xlinker libpicosat.so + libpicosat.so: picosat.o version.o +- $(CC) $(CFLAGS) -shared -o $@ picosat.o version.o $(SONAME) ++ $(CC) $(CFLAGS) -fPIC -shared -o $@ picosat.o version.o $(SONAME) + + .PHONY: all clean +--- ./picomus.c.orig 2016-01-13 00:19:13.000000000 -0700 ++++ ./picomus.c 2016-01-13 21:14:22.638231658 -0700 +@@ -193,9 +193,8 @@ static const char * USAGE = + "\n" + "This typically slows down this MUS extractor, since\n" + "it only relies on clause selector variables and\n" +-"can not make use of core extraction. To enable\n" +-"trace generation use './configure.sh --trace' or\n" +-"'./configure.sh -O --trace' when building PicoSAT.\n" ++"can not make use of core extraction. To use trace\n" ++"support, run picomus.trace instead.\n" + #else + "Since trace generation code is included, this binary\n" + "uses also core extraction in addition to clause selector\n" +--- ./picosat.c.orig 2016-01-13 00:19:13.000000000 -0700 ++++ ./picosat.c 2016-01-13 19:45:19.879820386 -0700 +@@ -6547,7 +6547,7 @@ check_trace_support_and_execute (PS * ps + (void) file; + (void) fmt; + (void) f; +- ABORT ("compiled without trace support"); ++ ABORT ("compiled without trace support; please use picosat.trace instead"); + #endif + } + +@@ -7262,7 +7262,7 @@ picosat_corelit (PS * ps, int int_lit) + return res; + } + #else +- ABORT ("compiled without trace support"); ++ ABORT ("compiled without trace support; please use picosat.trace instead"); + return 0; + #endif + } +@@ -7298,7 +7298,7 @@ picosat_coreclause (PS * ps, int ocls) + return res; + } + #else +- ABORT ("compiled without trace support"); ++ ABORT ("compiled without trace support; please use picosat.trace instead"); + return 0; + #endif + } diff --git a/SOURCES/picosat.1 b/SOURCES/picosat.1 new file mode 100644 index 0000000..028703b --- /dev/null +++ b/SOURCES/picosat.1 @@ -0,0 +1,202 @@ +.TH "PICOSAT" "1" "Version 936" "PicoSAT" "User Commands" +.SH "NAME" +picosat \- Satisfiability (SAT) solver with proof and core support +.SH "SYNOPSIS" +.B picosat +[\fIOPTION\fR]... [\fIFILE\fR] +.SH "DESCRIPTION" +.\" Add any additional description here +.PP +PicoSAT is a satisfiability (SAT) solver for boolean variables in +boolean expressions. +A SAT solver can determine if it is possible to find assignments to boolean +variables that would make a given set of expressions true. +If it's satisfiable, it can also show +a set of assignments that make the expression true. +Many problems can be broken down into a large SAT problem +(perhaps with thousands of variables), so SAT solvers have a variety +of uses. +.PP +The \fBpicosat\fP binary is built with options that provide for the greatest +speed. A second binary, \fBpicosat.trace\fP, is built with proof and core +capabilities, which incur some overhead. + +.SH "OPTIONS" +.TP +.BI \-h +print this command line option summary and exit + +.TP +.BI \-\-version +print version and exit + +.TP +.BI \-\-config +print build configuration and exit + +.TP +.BI \-v +enable verbose output + +.TP +.BI \-f +ignore invalid header + +.TP +.BI \-n +do not print satisfying assignment + +.TP +.BI \-p +print formula in DIMACS format and exit + +.TP +.BI \-a " " +start with an assumption + +.TP +.BI \-l " " +set decision limit (no limit per default) + +.TP +.BI \-i " <0|1>" +force FALSE respectively TRUE as default phase + +.TP +.BI \-s " " +set random number generator seed (default 0) + +.TP +.BI \-o " " +set output file ( per default) + +.TP +.BI \-t " " +generate compact proof trace file (use picosat.trace; see above) + +.TP +.BI \-T " " +generate extended proof trace file (use picosat.trace; see above) + +.TP +.BI \-r " " +generate reverse unit propagation proof file (use picosat.trace; see above) + +.TP +.BI \-c " " +generate clausal core file in DIMACS format (use picosat.trace; see above) + +.TP +.BI \-V " " +generate file listing core variables + +.TP +.BI \-U " " +generate file listing used variables + +.PP +If no input filename is given, standard input is used. + +.SH "CONFORMING TO" +.PP +This program uses DIMACS CNF format as input. +.PP +Like many SAT solvers, this program requires that its input be in +conjunctive normal form (CNF or cnf) in DIMACS CNF format. +CNF is built from these building blocks: +.TP 3 +* +.I R term : +A term is either a boolean variable (e.g., x4) +or a negated boolean variable (NOT x4, written here as \-x4). +.TP +* +.I R clause : +A clause is a set of one or more terms, connected with OR +(written here as |); boolean variables may not repeat inside a clause. +.TP +* +.I R expression : +An expression is a set of one or more clauses, +each connected by AND (written here as &). + +.PP +Any boolean expression can be converted into CNF. + +.PP +DIMACS CNF format is a simple text format for CNF. +Every line beginning "c" is a comment. +The first non\-comment line must be of the form: +.PP + p cnf NUMBER_OF_VARIABLES NUMBER_OF_CLAUSES +.PP +Each of the non\-comment lines afterwards defines a clause. +Each of these lines is a space\-separated list of variables; +a positive value means that corresponding variable +(so 4 means x4), and a negative value means the negation of that variable +(so \-5 means \-x5). +Each line must end in a space and the number 0. + +.SH "EXIT STATUS" +.PP +The output is a number of lines. +Most of these will begin with "c" (comment), and give detailed +technical information. +The output line beginning with "s" declares whether or not +it is satisfiable. +The line "s SATISFIABLE" is produced if it is satisfiable +(exit status 10), +and "s UNSATISFIABLE" is produced if it is not satisfiable +(exit status 20). +.PP +If it is satisfiable, +the output line beginning with "v" declares a set of variable settings +that satisfy all formulas. +For example: +.PP + v 1 \-2 \-3 \-4 5 0 +.PP +Shows that there is a solution with variable 1 true, variables 2, 3, and 4 +false, and variable 5 true. + +.SH "EXAMPLE" +.PP +An example of CNF is: +.PP + (x1 | \-x5 | x4) & + (\-x1 | x5 | x3 | x4) & + (\-x3 | x4). +.PP +The DIMACS CNF format for the above set of expressions could be: +.PP + c Here is a comment. + p cnf 5 3 + 1 \-5 4 0 + \-1 5 3 4 0 + \-3 \-4 0 +.PP +The "p cnf" line above means that this is SAT problem in CNF format with +5 variables and 3 clauses. The first line after it is the first clause, +meaning x1 | \-x5 | x4. +.PP +CNFs with conflicting requirements are not satisfiable. +For example, the following DIMACS CNF formatted data is not satisfiable, +because it requires that variable 1 always be true and also always be false: +.PP + c This is not satisfiable. + p cnf 2 2 + \-1 0 + 1 0 + +.SH "AUTHORS" +picosat was written by Armin Biere +.PP +This man page was written by David A. Wheeler. +It is released to the public domain; you may use it in any way you wish. + +.SH "SEE ALSO" +.PP +\fIpicomus\fP(1), \fIminisat2\fP(1). + +.\" This documentation was written by David A. Wheeler in 2010, and +.\" is released to the public domain. Anyone can use it, in any way. diff --git a/SOURCES/picosat.trace.1 b/SOURCES/picosat.trace.1 new file mode 100644 index 0000000..4c8637d --- /dev/null +++ b/SOURCES/picosat.trace.1 @@ -0,0 +1 @@ +.so picosat.1 diff --git a/SPECS/picosat.spec b/SPECS/picosat.spec new file mode 100644 index 0000000..f8c7bbb --- /dev/null +++ b/SPECS/picosat.spec @@ -0,0 +1,273 @@ +Name: picosat +Version: 965 +Release: 22%{?dist} +Summary: A SAT solver + +License: MIT +URL: https://fmv.jku.at/picosat/ +VCS: git:%{url}.git +Source0: %{url}/%{name}-%{version}.tar.gz +# Thanks to David Wheeler for the man page. +Source1: picosat.1 +# Man page link for picosat.trace +Source2: picosat.trace.1 +# Man page for picomus +Source3: picomus.1 +# This patch has not been sent upstream. It is specific to Fedora's build of +# two distinct binaries, one with trace support and one without. +Patch: %{name}-trace.patch + +BuildRequires: gcc +BuildRequires: make +BuildRequires: R-core-devel + +Requires: bzip2 +Requires: gzip +Requires: %{name}-libs%{?_isa} = %{version}-%{release} + +%description +PicoSAT solves the SAT problem, which is the classical NP complete +problem of searching for a satisfying assignment of a propositional +formula in conjunctive normal form (CNF). PicoSAT can generate proofs +and cores in memory by compressing the proof trace. It supports the +proof format of TraceCheck. + +%package R +Summary: A SAT solver library for R + +%description R +The PicoSAT library, which contains routines that solve the SAT problem. +The library has a simple API which is similar to that of previous +solvers by the same authors. This version of the library is built for +use with R projects. + +%package libs +Summary: A SAT solver library + +%description libs +The PicoSAT library, which contains routines that solve the SAT problem. +The library has a simple API which is similar to that of previous +solvers by the same authors. + +%package devel +Summary: Development files for PicoSAT +Requires: %{name}-R%{?_isa} = %{version}-%{release} +Requires: %{name}-libs%{?_isa} = %{version}-%{release} + +%description devel +Headers and other development files for PicoSAT. + +%prep +%autosetup -p0 + +%build +# The configure script is NOT autoconf-generated and chooses its own CFLAGS, +# so we mimic its effects instead of using it. + +# Build the version with R support +sed -e 's/@CC@/gcc/' \ + -e 's|@CFLAGS@|%{build_cflags} -D_GNU_SOURCE=1 -DNDEBUG -DRCODE -I%{_includedir}/R|' \ + -e 's|-Xlinker libpicosat.so|-Xlinker libpicosat.so.0 %{build_ldflags} -L%{_libdir}/R/lib -lR|' \ + -e 's/libpicosat/libpicosat-R/g' \ + -e 's/-lpicosat/-lpicosat-R/g' \ + -e 's/@TARGETS@/libpicosat-R.so/' \ + makefile.in > makefile +%make_build + +# Build the version with trace support +sed -e 's/@CC@/gcc/' \ + -e 's|@CFLAGS@|%{build_cflags} -D_GNU_SOURCE=1 -DNDEBUG -DTRACE|' \ + -e 's|-Xlinker libpicosat.so|-Xlinker libpicosat.so.0 %{build_ldflags}|' \ + -e 's/libpicosat/libpicosat-trace/g' \ + -e 's/-lpicosat/-lpicosat-trace/g' \ + -e 's/@TARGETS@/libpicosat-trace.so picosat picomus/' \ + makefile.in > makefile +%make_build +mv picosat picosat.trace + +# Build the fast version. +# Note that picomus needs trace support, so we don't rebuild it. +rm -f *.o *.s config.h +sed -e 's/@CC@/gcc/' \ + -e 's|@CFLAGS@|%{build_cflags} -D_GNU_SOURCE=1 -DNDEBUG|' \ + -e 's|-Xlinker libpicosat.so|-Xlinker libpicosat.so.0 %{build_ldflags}|' \ + -e 's/@TARGETS@/libpicosat.so picosat picomcs picogcnf/' \ + makefile.in > makefile +%make_build + +%install +# Install the header file +mkdir -p $RPM_BUILD_ROOT%{_includedir} +cp -p picosat.h $RPM_BUILD_ROOT%{_includedir} + +# Install the libraries +mkdir -p $RPM_BUILD_ROOT%{_libdir} +install -m 0755 -p libpicosat-R.so \ + $RPM_BUILD_ROOT%{_libdir}/libpicosat-R.so.0.0.%{version} +ln -s libpicosat-R.so.0.0.%{version} $RPM_BUILD_ROOT%{_libdir}/libpicosat-R.so.0 +ln -s libpicosat-R.so.0 $RPM_BUILD_ROOT%{_libdir}/libpicosat-R.so +install -m 0755 -p libpicosat-trace.so \ + $RPM_BUILD_ROOT%{_libdir}/libpicosat-trace.so.0.0.%{version} +ln -s libpicosat-trace.so.0.0.%{version} $RPM_BUILD_ROOT%{_libdir}/libpicosat-trace.so.0 +ln -s libpicosat-trace.so.0 $RPM_BUILD_ROOT%{_libdir}/libpicosat-trace.so +install -m 0755 -p libpicosat.so \ + $RPM_BUILD_ROOT%{_libdir}/libpicosat.so.0.0.%{version} +ln -s libpicosat.so.0.0.%{version} $RPM_BUILD_ROOT%{_libdir}/libpicosat.so.0 +ln -s libpicosat.so.0 $RPM_BUILD_ROOT%{_libdir}/libpicosat.so + +# Install the binaries +mkdir -p $RPM_BUILD_ROOT%{_bindir} +install -m 0755 -p picosat picosat.trace picomus picomcs picogcnf \ + $RPM_BUILD_ROOT%{_bindir} + +# Install the man pages +mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1 +cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} $RPM_BUILD_ROOT%{_mandir}/man1 + +%ldconfig_scriptlets R +%ldconfig_scriptlets libs + +%files +%{_bindir}/pico* +%{_mandir}/man1/picosat* +%{_mandir}/man1/picomus* + +%files R +%doc NEWS +%{!?_licensedir:%global license %%doc} +%license LICENSE +%{_libdir}/libpicosat-R.so.0* + +%files libs +%doc NEWS +%{!?_licensedir:%global license %%doc} +%license LICENSE +%{_libdir}/libpicosat-trace.so.0* +%{_libdir}/libpicosat.so.0* + +%files devel +%{_includedir}/picosat.h +%{_libdir}/libpicosat-R.so +%{_libdir}/libpicosat-trace.so +%{_libdir}/libpicosat.so + +%changelog +* Sat Jan 04 2025 Arkady L. Shane - 965-22 +- Rebuilt for MSVSphere 10 + +* Fri Jul 19 2024 Fedora Release Engineering - 965-22 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild + +* Thu Apr 25 2024 Iñaki Úcar - 965-21 +- R-maint-sig mass rebuild + +* Thu Jan 25 2024 Fedora Release Engineering - 965-20 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild + +* Sun Jan 21 2024 Fedora Release Engineering - 965-19 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild + +* Fri Jul 21 2023 Fedora Release Engineering - 965-18 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild + +* Fri Apr 21 2023 Iñaki Úcar - 965-17 +- R-maint-sig mass rebuild + +* Fri Jan 20 2023 Fedora Release Engineering - 965-16 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild + +* Tue Jan 17 2023 Jerry James - 965-15 +- Minor spec file cleanups + +* Fri Jul 22 2022 Fedora Release Engineering - 965-15 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild + +* Fri Jan 21 2022 Fedora Release Engineering - 965-14 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + +* Fri Jul 23 2021 Fedora Release Engineering - 965-13 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild + +* Wed Jan 27 2021 Fedora Release Engineering - 965-12 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild + +* Tue Jul 28 2020 Fedora Release Engineering - 965-11 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + +* Thu Jan 30 2020 Fedora Release Engineering - 965-10 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild + +* Fri Jul 26 2019 Fedora Release Engineering - 965-9 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild + +* Sat Feb 02 2019 Fedora Release Engineering - 965-8 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + +* Fri Jul 13 2018 Fedora Release Engineering - 965-7 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + +* Fri Feb 09 2018 Fedora Release Engineering - 965-6 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild + +* Thu Aug 03 2017 Fedora Release Engineering - 965-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild + +* Thu Jul 27 2017 Fedora Release Engineering - 965-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild + +* Sat Feb 11 2017 Fedora Release Engineering - 965-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + +* Thu Feb 04 2016 Fedora Release Engineering - 965-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + +* Wed Jan 13 2016 Jerry James - 965-1 +- New upstream release +- Drop -proof-access patch now that csisat has been retired +- Add a library built for R support + +* Thu Jun 18 2015 Fedora Release Engineering - 960-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild + +* Fri Nov 7 2014 Jerry James - 960-1 +- New upstream release +- Drop upstreamed -alias patch +- Fix license handling + +* Sun Aug 17 2014 Fedora Release Engineering - 957-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild + +* Sat Jun 07 2014 Fedora Release Engineering - 957-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + +* Wed Jul 31 2013 Jerry James - 957-1 +- New upstream release +- Remove comment that was being pulled into postun + +* Thu Feb 14 2013 Fedora Release Engineering - 951-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild + +* Mon Aug 20 2012 Jerry James - 951-1 +- New upstream release + +* Sat Jul 21 2012 Fedora Release Engineering - 936-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild + +* Fri Jan 6 2012 Jerry James - 936-3 +- Rebuild for GCC 4.7 +- Minor spec file cleanups + +* Wed Feb 09 2011 Fedora Release Engineering - 936-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild + +* Thu Jan 27 2011 Jerry James - 936-1 +- Update to version 936. +- Drop picosat-sharedlib.patch, incorporated upstream. +- Add picosat-trace.patch, to support separate tracing and nontracing libs. + +* Tue Jan 19 2010 Jerry James - 913-2 +- Spec file cleanups from review +- Man page courtesy of David Wheeler + +* Wed Sep 2 2009 Jerry James - 913-1 +- Initial RPM