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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=1093500



--- Comment #14 from Scott K Logan <logans@xxxxxxxxxxx> ---
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 like to make these three packages:
1) libpotassco
2) clasp
3) clingo
   - clingo
   - gringo
   - libreify
   - python-clingo
   - lua-clingo

I have the first two done-ish, but the last one is pretty big, and
unfortunately I need to do some work to unbundle clasp and libpotassco from it.

I'll keep you updated, and will probably submit the first two for review sooner
rather than later. The spec files are structured almost identically, anyway.

-- 
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
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux