ACERCA DE MaTest

 MaTest (Matrix Tester) es un tester de matrices lógicas útil en la
 investigación en lógica matemática y lógica filosófica.

 Definidas unas matrices para unas conectivas, definido 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, programado en C con extensiones
 GNU y utiliza las librerías GTK+ para la interfaz gráfica.


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/


INSTALACIÓN

 Junto con este archivo se encuentran dos ejecutables: uno para GNU/Linux o
 similar (MaTest) y otro para Windows (MaTest.exe). Basta con ejecutar el
 binario.
 
 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>.

