[Bug 428410] Review Request: LADR - Library for Automated Deduction Research

bugzilla at redhat.com bugzilla at redhat.com
Thu May 29 05:39:08 UTC 2008


Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request: LADR - Library for Automated Deduction Research


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





------- Additional Comments From dwheeler at dwheeler.com  2008-05-29 01:39 EST -------
I strongly suggest that this be renamed to "prover9" or "prover9-mace4".

LADR is just the low-level shared library used to implement prover9 and mace4.
Users don't normally see LADR directly; they'll typically just use
prover9 and mace4.  Even the description gives this away - it talks about the
user-visible programs prover9 and mace4, and not the lower-level library for them.
MANY programs have tools to access lower-level data structures, but typically
the package is named after the upper-level, user-visible component.

For a point of reference, Debian names the same package "prover9".

Having prover9/mace4 packaged for Fedora is of HIGH importance to me.


-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.




More information about the Fedora-package-review mailing list