MaTest

MaTest is a logical matrix tester, a useful tool in logic research. MaTest, which was developed in 2008 by César González, a former USAL student, is an updated version for Windows and Linux of the program Matrigüity created by José M. Méndez and Benito García Noriega in 1982. 

MaTest is free software, released under the GNU General Public License (GPL).  Visit the MaTest repository on GitHub for more details and to download the latest version of the program.