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

2019-10-21 Thread bugzilla
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

2019-09-06 Thread bugzilla
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

2017-08-22 Thread bugzilla
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 proposed model, I'd

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

2017-08-16 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added Assignee|nob...@fedoraproject.org|rosser@gmail.com --- Comment #13 fro

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

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

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

2017-08-15 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added CC||log...@cottsay.net Flags|need

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

2017-07-11 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Ben Rosser changed: What|Removed |Added CC||rosser@gmail.com --- Comment #10 fro

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

2016-04-13 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan changed: What|Removed |Added Status|ASSIGNED|NEW Assignee|i...@cicku.me

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

2015-12-13 Thread bugzilla
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 are receiving this mail

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

2015-12-04 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 James Hogarth changed: What|Removed |Added CC||james.hoga...@gmail.com Fl

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

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

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

2014-12-15 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #6 from Scott K Logan --- 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 -- You are receiving

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

2014-09-21 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #5 from Scott K Logan --- 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: https://cottsay.fedorapeople.org/

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

2014-08-10 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #4 from Scott K Logan --- 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 (0), I'm sorry to rep

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

2014-07-28 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #3 from Christopher Meng --- 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 %{?_smp_mfl

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

2014-07-28 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Christopher Meng changed: What|Removed |Added Flags||fedora-review? -- You are receivi

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

2014-05-05 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Christopher Meng changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|nob...@f

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

2014-05-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 --- Comment #2 from Scott K Logan --- 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 noted this in my init

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

2014-05-03 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Christopher Meng changed: What|Removed |Added CC||i...@cicku.me --- Comment #1 from

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

2014-05-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan changed: What|Removed |Added Blocks||1093521 Referenced Bugs: https://bu

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

2014-05-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1093500 Scott K Logan changed: What|Removed |Added Blocks||1093516 Referenced Bugs: https://bu