Projects

Fromfilter

Fromfilter is a filter for sendmail that uses the Milter API.

cnf.pro

a prolog program to convert first order logical formulas to Conjunctive Normal Form