The E Equational Theorem Prover
Other Software
In addition to E, I also write
some other code, mostly in C, Scheme or Python. Some of this is
generally useful (or amusing), and I put it up here. Unless noted
otherwise, all programs here are licensed under the GNU General Public
License.
The code is written and tested on UNIX, usually under MaxOS-X/Fink, often also under Solaris
and GNU/Linux.
psfixbb (Fix PostScript Bounding Boxes)
This is a small Python program that uses GhostScript to figure out a
tightly fitting bounding box for (most) PostScript files and replaces
the existing bounding box (if any) with the tighter one. I found it
particularly useful for right-sizing plots generated with Gnuplot.
Requirements:
- A reasonably recent Python release. I tested it with 2.3, but I
expect at least 2.0 and up to work.
- GhostScript version >=5.5 as gs in your search
path (or the nerve to edit the code to point to your GhostScript
executable).
Installation
- Download below (or use wget
http://www.eprover.org/SOFTWARE/DOWNLOADS/psfixbb.py) into
some directory in your search path.
- chmod ugo+x psfixbb.py (if your browser does
not safe files as executable).
- Done. Try psfixbb.py -h
Download
f2n (Convert foreign text files to native ones)
This is a small Python program that reads a text file, guesses the
end-of-line convention used, and then converts the file to your native
convention. It's a simplified, more convenient version of
dos2unix and related programs. Very useful if your students
send you DOS files as solutions.
Requirements:
- A reasonably recent Python release. I tested it with 2.4, but I
expect at least 2.0 and up to work. It does need True
and False.
Installation
- Download below (or use wget
http://www.eprover.org/SOFTWARE/DOWNLOADS/f2n.py) into some
directory in your search path.
- chmod ugo+x f2n.py (if your browser does
not safe files as executable).
- Done. Try f2n.py -h
Download
xyzzy (Do Magic)
This is a UNIX shell implementation of xyzzy, a
command that sometimes does magic.
Requirements:
A POSIX compliant system (or anything with a rudimentary
/bin/sh that understands the #! convention).
Installation
- Download below (or use wget
http://www.eprover.org/SOFTWARE/DOWNLOADS/xyzzy) into some
directory in your search path.
- If you do not what to do then, you won't get the joke anyways.
Download
Impressum