[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver
https://bugzilla.redhat.com/show_bug.cgi?id=1093500
Ben Rosser <rosser.bjr(a)gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Flags| |needinfo?(logans(a)cottsay.ne
| |t)
--- Comment #15 from Ben Rosser <rosser.bjr(a)gmail.com> ---
Hi Scott,
Is this still something you're working on? I don't think libpotassco ever was
submitted for review.
opam 2 supports an internal solver, so these packages are no longer necessary
for it. But I'd still be happy to review them if you are interested.
If not, I think we should close these tickets in accordance with the policy for
stalled reviews:
https://fedoraproject.org/wiki/Policy_for_stalled_package_reviews
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component