ACERCA DE MaTest

 MaTest (Matrix Tester) es un tester de matrices lógicas útil en la
 investigación en lógica.

 Definidas unas matrices para unas conectivas, un mínimo valor designado y dada
 una fórmula bien formada calcula todas las posibles valoraciones de dicha
 fórmula y evalúa en cada caso si se trata de un valor designado o no.

 MaTest es software libre, se distribuye bajo licencia GPLv3+, para más
 detalles véase la sección Copyright. Es multiplataforma, escrito en C, tiene
 una interfaz gráfica basada en GTK+.


AUTOR

 Escrito por César González Gutiérrez <ceguel@gmail.com>.


HISTORIA

 MaTest es sucesor de Matrigüity, creado por José Manuel Méndez Rodríguez y
 Benito García Noriega en 1982. Para más detalles véase el archivo History.txt.


DESCARGAS

 Puedes descargarlo desde http://forja.rediris.es/projects/cusl3-matest/
 
 La versión en desarrollo es accesible mediante Subversion en la dirección:
 https://forja.rediris.es/svn/cusl3-matest/trunk/


COMPILACIÓN
 
 Para compilarlo desde el código fuente use cmake, cree los archivos de proyecto
 que desee y use después el compilador correspondiente.


DOCUMENTACIÓN

 La documentación se encuentra en línea desde la siguiente dirección:
 http://www.ceguel.es/MaTest/


COPYRIGHT

 Copyright (C) 2008 César González
 Licencia GPLv3+: GPL de GNU versión 3 o posterior
 <http://gnu.org/licenses/gpl.html>
 Esto es software libre: tiene la libertad de cambiarlo y redistribuirlo.
 No tiene GARANTÍA, hasta los límites de la ley.


BUGS
 
 Notificar fallos en la dirección del autor: <ceguel@gmail.com>.

