[Bug 769958] Review Request: eqp - Automated theorem prover for first-order equational logic

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

 



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

John C Peterson <jcp@xxxxxxxxxx> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
              Flags|needinfo?(jcp@xxxxxxxxxx)   |



--- Comment #10 from John C Peterson <jcp@xxxxxxxxxx> ---
Hello James,

The short answer is no.

As I noted in my post dated 2012-11-01, I did get into contact with the
organization at Argonne National Laboratory (ANL), where the (now deceased) EQP
author was employed when the original work was performed.

There wasn't any formal procedure at ANL for the licensing or distribution of
software when the code was first released. Consequently, the EQP software is
not even in their own database of ANL developed software. They pretty much just
gave me pointers to the "license" that is shown on the project home page (links
below). I can forward those emails from ANL to anyone who is interested. 

http://www.mcs.anl.gov/research/projects/AR/eqp/
http://www.cs.unm.edu/~mccune/eqp/

If that "license" is not adequate, then the matter should be considered closed.
My feeling is that it's highly unlikely ANL will be inclined to provide any
further clarification above and beyond that.

-- 
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
https://admin.fedoraproject.org/mailman/listinfo/package-review




[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]