Programmi di liblogic.sf.net

libLogic è una libreria software per la dimostrazione automatica di teoremi con la capacità ritenuta ineguagliabile di dimostrare correttamente ed efficientemente esattamente tutte le affermazioni dimostrabili in qualsiasi te