Fedora alt-ergo package:

Contains the main program alt-ergo.

Consider visiting the main Alt-Ergo site - http://alt-ergo.lri.fr -
for more documentation as it becomes available and a number of
examples of usage. Any current documentation (save the man page) is
generated by the package maintainer.