= UA: Universal Algebra spkg =

== Description ==

The UA.spkg is a Sage package that contains several software components 
useful for calculations in Universal Algebra

Prover9 is an automated theorem prover for first-order and equational logic, 
and Mace4 searches for finite models and counterexamples. The LADR libraries
contain several commandline programs useful for translating input/output into
other formats, and for removing isomorphic copies from a list of models.
See http://prover9.org

The Universal Algebra Calculator (R. Freese, E. Kiss, M. Valeriote) is an
interactive Java program for analyzing a finite algebra. In this spkg
it is used noninteractively. See http://uacalc.org

== License ==

Prover9, Mace4, related programs, and the LADR libraries (with which they 
were all constructed) are distributed under the terms of the GNU General 
Public License (v2).

== SPKG Maintainer ==

Peter Jipsen

== Upstream Contact ==

William McCune

Research Professor (guest appointment)
Computer Science Department
School of Engineering
University of New Mexico 

http://www.cs.unm.edu/~mccune/

== Dependencies ==

== Changelog ==

* 2008-07-30: Initial version.
* 2011-03-25: Expanded version, including UA Calculator.