libLogic स्वचालित प्रमेय के लिए एक सॉफ्टवेयर पुस्तकालय है जो किसी भी आदेश के किसी भी तार्किक सिद्धांत में सही ढंग से और कुशलता से सभी साध्य बयानों को साबित करने की माना जाता है, जिसमें कोई मानव सहायता नहीं है।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-12
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-12
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: liblogic.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows