[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 Fedora Update System changed: What|Removed |Added --

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 Fedora Update System changed: What|Removed |Added --

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #10 from Fedora Update System 2011-12-07 20:54:26 EST --- cryptominisat-2.9.1-1.fc16 has been submitted as an updat

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 Fedora Update System changed: What|Removed |Added --

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #9 from Jon Ciesla 2011-12-07 12:53:18 EST --- Git done (by process-git-requests). -- Configure bugmail: https://

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 Jerry James changed: What|Removed |Added ---

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #7 from Brendan Jones 2011-11-24 16:38:10 EST --- This isn't a blocker Jerry but you should definitely take it upst

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #6 from Jerry James 2011-11-24 15:55:30 EST --- Well, no, it isn't really okay. I'll talk to upstream about it. H

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #5 from Brendan Jones 2011-11-24 15:08:55 EST --- Sorry, Jerry, yes, just after some confirmation that the exit war

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #4 from Jerry James 2011-11-24 13:54:00 EST --- Thanks for the review, Brendan. I'll fix the places that should us

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #3 from Brendan Jones 2011-11-24 02:35:59 EST --- Sorry, one last thing: fedora16:~$ rpmlint rpmbuild/SRPMS/crypto

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 Brendan Jones changed: What|Removed |Added -

[Bug 721174] Review Request: cryptominisat - SAT solver

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=721174 --- Comment #1 from Jerry James 2011-11-15 14:35:42 EST --- I added some comments on the license situation and rebuilt for F16.