Package Details: eqp 09e-3

Git Clone URL: (read-only, click to copy)
Package Base: eqp
Description: Equational Prover (Theorem Prover for First-Order Equational Logic)
Upstream URL:
Licenses: unknown
Submitter: oriba
Maintainer: oriba
Last Packager: oriba
Votes: 0
Popularity: 0.000000
First Submitted: 2014-02-06 22:00
Last Updated: 2021-08-12 20:49

Latest Comments

oriba commented on 2021-08-10 19:47

Will not have time and motivation to fix errors in eqp. I wonder why it does not compile. When I created the package, it had built eqp. Not sure if there is a difference between the original package and that from the archive, or if other reasons exist, which make it impossible to build eqp.

oriba commented on 2021-08-03 20:44

@kleiuntux: thank you for reminding me on eqp and for sending the link. Some weeks ago I found the sources at Github - someone already had uploaded the sources there. The problem is, that the code does not compile. I tried the github stuff and now, activated by you, also the web.archive tgz. Same problem. So it would need to fix the bug. Maybe I have time for looking at the code next week.

Here is, where I found the sources:

The "Theorem Prover Museum" also offers other provers:

oriba commented on 2021-06-05 01:00

If more people would ask UNM on the sources, the CS-department of that university may have higher motivation to put the sources back to s´the server:

oriba commented on 2021-06-05 00:43

I also contacted the university (UNM), where the sources were located. Professor McCune has been passed away in 2011. As far as I know for now, the sources are gone into the nirvana. I asked them for looking up the sources in their backups; I wait for response.

I hope the sources can be found somehow somewhere.

oriba commented on 2021-06-02 22:30

@micwoj92: thanks for reporting. I contacted William McCune and asked for a corrected URL.

micwoj92 commented on 2021-06-02 13:34

Download 404