MaTest es un tester de matrices lógicas, útil en la investigación en lógica.

Definidas unas conectivas mediante matrices finitas, dado un mínimo valor designado, calcula todas las asignaciones de valores de verdad y evalúa en cada caso si se trata de un valor designado o no.

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 la sección Historia.

MaTest se distribuye bajo la licencia GNU General Public License (GPL).