CLIB-0.2
An equational theorem prover based on PROLOG
It is a program that you can stuff a mathematical specification (in clausal logic with equality) and a hypothesis into, and which will then run forever. Very occasionally it will find a proof for the hypothesis!
- Author: Stephan Schulz <schulz@informatik.tu-muecnchen.de>
- Installation Tree: /opt/CLIB
- Home URL: http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
There are run-time dependencies that need to be installed first. Why not use depothelper to install them all in one go?
Dependencies | ||||||||
---|---|---|---|---|---|---|---|---|
Run-time dependencies: | ||||||||
gawk | ||||||||
Build-time dependencies: | ||||||||
gawk | gcc | make |
Operating System | Architecture | Package Type | Package Size | Date Archived | View Contents? | Download |
---|---|---|---|---|---|---|
HP-UX 11.00 Deprecated | 32-bit PA-RISC 1.1 | Gzipped Binary Depot | 317 K | 17 Dec 1999 | Yes | HTTP FTP |
HP-UX | - | Tarred/Gzipped Source Code | 600 K | 17 Dec 1999 | Yes | HTTP FTP |