[Bug 812681] Review Request: glueminisat - Boolean SAT solver that implements literal blocks distance (LBD)

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=812681

--- Comment #8 from John C Peterson <jcp@xxxxxxxxxx> 2012-04-26 02:58:55 EDT ---
Spec URL: http://www.eskimo.com/~jcp/glueminisat.spec
SRPM URL: http://www.eskimo.com/~jcp/glueminisat-2.2.5-3.fc16.src.rpm

This revision should be ready to go. I wrote an HTML document titled
"Introduction to GlueMiniSat" that redirects the interested user to the
available upstream documentation. I didn't think it was really complete enough
to call it a User Guide.

Output from rpmlint to be on the safe side,

% rpmlint glueminisat.spec  ../RPMS/x86_64/glueminisat-2.2.5-3.fc16.x86_64.rpm
../RPMS/x86_64/glueminisat-debuginfo-2.2.5-3.fc16.x86_64.rpm
../SRPMS/glueminisat-2.2.5-3.fc16.src.rpm 
glueminisat.x86_64: W: spelling-error %description -l en_US boolean -> Boolean,
boo lean, boo-lean
glueminisat.x86_64: W: spelling-error %description -l en_US satisfiability ->
insatiability, advisability
glueminisat.x86_64: W: spelling-error %description -l en_US learnt -> learn,
learns, learn t
glueminisat.x86_64: W: spelling-error %description -l en_US nd -> ND, Nd, n
glueminisat.x86_64: W: spelling-error %description -l en_US unsatisfiable ->
unsatisfied, unjustifiable
glueminisat.x86_64: W: spelling-error %description -l en_US minisat -> mini
sat, mini-sat, minis at
glueminisat.x86_64: W: no-manual-page-for-binary glueminisat
glueminisat.src: W: spelling-error %description -l en_US boolean -> Boolean,
boo lean, boo-lean
glueminisat.src: W: spelling-error %description -l en_US satisfiability ->
insatiability, advisability
glueminisat.src: W: spelling-error %description -l en_US learnt -> learn,
learns, learn t
glueminisat.src: W: spelling-error %description -l en_US nd -> ND, Nd, n
glueminisat.src: W: spelling-error %description -l en_US unsatisfiable ->
unsatisfied, unjustifiable
glueminisat.src: W: spelling-error %description -l en_US minisat -> mini sat,
mini-sat, minis at
3 packages and 1 specfiles checked; 0 errors, 13 warnings.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review



[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]