MiniSat and SatELite now have their own page at minisat.se. All other software I developed
during my Ph.D. can be found in the EenSoft.zip
package. More information and references can be found on the (somewhat
out-dated) Satzoo page, and on the Tip
(temporal induction prover) page.
Personal:
During 1991-94, I created some
Single Image Stereograms
that are still somewhat popular, although quite low-res by today's standards. They used
to take about 20 hours to generate by my 25 MHz 486sx.