[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan changed: What|Removed |Added Status|NEW |CLOSED Blocks|

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added Flags||needinfo?(log...@cottsay.ne

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #14 from Scott K Logan --- Hey, Ben - I did some work on this Sunday, and it looks like the Potassco codebase is in significantly better shape than it was when I started these reviews. Instead of the currently

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added Assignee|nob...@fedoraproject.org|rosser@gmail.com

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan changed: What|Removed |Added Flags|needinfo?(log...@cottsay.ne |

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added CC||log...@cottsay.net

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added CC||rosser@gmail.com

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan changed: What|Removed |Added Status|ASSIGNED|NEW

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #8 from Scott K Logan --- James - Christopher has been MIA on this review for a very long time now, despite being pinged about it. If you are able, please take the review so we can proceed. --scott -- You

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 James Hogarth changed: What|Removed |Added CC|

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Rich Mattes richmat...@gmail.com changed: What|Removed |Added CC||richmat...@gmail.com

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #6 from Scott K Logan log...@cottsay.net --- There is interest in a downstream package, aspcud, being added in the near future. Christopher, is there any chance you can take another look at this anytime soon? Thanks, --scott --

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #5 from Scott K Logan log...@cottsay.net --- Upstream just released new versions of this chain that are sync'd properly. All packages are now building at their latest versions without any bundled software. Spec URL:

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #4 from Scott K Logan log...@cottsay.net --- Christopher - Thanks for the feedback. (1) and (2) have been fixed as described. For (3), I assume you were looking for the -devel package to depend on the base. I added that. For

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Christopher Meng i...@cicku.me changed: What|Removed |Added Flags||fedora-review? --

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #3 from Christopher Meng i...@cicku.me --- SPEC: 0. 3.0.6 is available. Notified yet upstream about the wrong license header? I don't think you need to modify them, just let upstream know and fix that. 1. cd build/custom_mt make

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Christopher Meng i...@cicku.me changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Christopher Meng i...@cicku.me changed: What|Removed |Added CC||i...@cicku.me ---

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #2 from Scott K Logan log...@cottsay.net --- Hi Christopher - 1. I have tried it, and no, it doesn't build any non-static libraries. From what I can tell, the project only supports static libraries on non-Windows systems. 2. I

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan log...@cottsay.net changed: What|Removed |Added Blocks||1093516

[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan log...@cottsay.net changed: What|Removed |Added Blocks||1093521