Programy według liblogic.sf.net

libLogic to biblioteka oprogramowania do automatycznego przeznaczenia udowadniając z uważano za niezrównaną zdolność do prawidłowego i skutecznego udowodnienia dokładnie wszystkie możliwe do udowodnienia oświadczenia w każdej