Programma's van liblogic.sf.net

libLogic is een software bibliotheek voor geautomatiseerde stelling bewijzen met de geloofde-to-be-ongeëvenaarde vermogen om correct en efficiënt te bewijzen precies alle aantoonbare uitspraken in een logische theorie van elk