Bienvenidos al blog de desarrollo de MaTest
MaTest, acrónimo de Matrix Tester, es un téster de matrices lógicas, útil en la investigación en lógica matemática y lógica filosófica. Definidas unas matrices, un mínimo valor designado y dada una fórmula bien formada, calcula todas las valoraciones posibles y evalúa en cada caso si es un valor designado o no.
MaTest es software libre, se distribuye bajo licencia GPLv3+. Está programado en ANSI C estándar y es multiplataforma.
En este blog se irán añadiendo las noticias relativas a su desarrollo: nuevas características, nuevas versiones, etc.