Home
Catalogue
FAQ
What's New?
Search for a package
Package name
Description
Author
Search Term
Case Sensitive
Locator:
Home
>
Catalogue
>
CLIB-0.2
CLIB-0.2
An equational theorem prover based on PROLOG
Description:
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
>
Home URL:
http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
Installation Tree:
/opt/CLIB
Build-time dependencies:
gawk
gcc
make
Run-time dependencies:
gawk
Documentation:
Installation
README
Downloads for CLIB-0.2 (
Help!
)
Operating System
Architecture
Package Type
Package Size
Date Archived
View Contents?
Download
HP-UX 11.00
PA-RISC 1.1
Gzipped
Binary Depot
317 K
17 Dec 1999
Yes
[HTTP]
[FTP]
HP-UX 10.20
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]
Home
|
Catalogue
|
FAQ
|
What's New?
|
Contact Us
