subject:"\[Bug 1093521\] Review Request\: clingo \- A bottom up grounder for logic programs"

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-10-21 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 Bug 1093521 depends on bug 1093516, which changed state. Bug 1093516 Summary: Review Request: gringo - Grounding tools for (disjunctive) logic programs https://bugzilla.redhat.com/show_bug.cgi?id=1093516 What|Removed

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-10-21 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 Bug 1093521 depends on bug 1093500, which changed state. Bug 1093500 Summary: Review Request: clasp - A conflict-driven nogood learning answer set solver https://bugzilla.redhat.com/show_bug.cgi?id=1093500 What|Removed

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-08-07 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 --- Comment #7 from Fedora Update System --- clingo-5.3.0-5.fc29 has been pushed to the Fedora 29 stable repository. If problems still persist, please make note of it in this bug report. -- You are receiving this mail because: You are on the

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-08-07 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 Fedora Update System changed: What|Removed |Added Resolution|DUPLICATE |ERRATA --- Comment #6 from Fed

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-07-30 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 --- Comment #5 from Fedora Update System --- clingo-5.3.0-5.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing f

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-07-30 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 --- Comment #4 from Fedora Update System --- clingo-5.3.0-5.fc29 has been pushed to the Fedora 29 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing f

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-07-29 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 --- Comment #3 from Fedora Update System --- FEDORA-2019-237ce6f0dc has been submitted as an update to Fedora 29. https://bodhi.fedoraproject.org/updates/FEDORA-2019-237ce6f0dc -- You are receiving this mail because: You are on the CC list f

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2019-07-26 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 Till Hofmann changed: What|Removed |Added Status|NEW |CLOSED CC|

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2015-05-27 Thread bugzilla

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

[Bug 1093521] Review Request: clingo - A bottom up grounder for logic programs

2014-09-21 Thread bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=1093521 --- Comment #1 from Scott K Logan --- Updated version Spec URL: https://cottsay.fedorapeople.org/clingo/clingo.spec SRPM URL: https://cottsay.fedorapeople.org/clingo/clingo-4.4.0-1.fc20.src.rpm Copr builds (F20, F21 and rawhide): http://copr