Search Criteria
Package Details: eqp 09e-3
Package Actions
| Git Clone URL: | https://aur.archlinux.org/eqp.git (read-only, click to copy) |
|---|---|
| Package Base: | eqp |
| Description: | Equational Prover (Theorem Prover for First-Order Equational Logic) |
| Upstream URL: | http://www.cs.unm.edu/~mccune/eqp/ |
| Licenses: | unknown |
| Submitter: | oriba |
| Maintainer: | oriba |
| Last Packager: | oriba |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2014-02-06 22:00 (UTC) |
| Last Updated: | 2021-08-12 20:49 (UTC) |
Latest Comments
oriba commented on 2021-08-10 19:47 (UTC)
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 (UTC)
@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: https://github.com/theoremprover-museum/EQP
The "Theorem Prover Museum" also offers other provers: https://github.com/theoremprover-museum
oriba commented on 2021-06-05 01:00 (UTC)
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:
https://www.cs.unm.edu/contact/index.html
oriba commented on 2021-06-05 00:43 (UTC)
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.
https://en.wikipedia.org/wiki/William_McCune
I hope the sources can be found somehow somewhere.
oriba commented on 2021-06-02 22:30 (UTC)
@micwoj92: thanks for reporting. I contacted William McCune and asked for a corrected URL.
micwoj92 commented on 2021-06-02 13:34 (UTC)
Download 404