libLogic
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://liblogic.cvs.sourceforge.net/liblogic
करीबन libLogic
libLogic स्वचालित प्रमेय के लिए एक सॉफ्टवेयर पुस्तकालय है जो किसी भी आदेश के किसी भी तार्किक सिद्धांत में सही ढंग से और कुशलता से सभी साध्य बयानों को साबित करने की माना जाता है, जिसमें कोई मानव सहायता नहीं है।
संबंधित कार्यक्रम
-
CMS Utilities मुफ्त
सीएमएसयूटिल्स ऐसे कार्यक्रम प्रदान करता है जो आपको सीएमएस (पोस्टनुक, Xaraya, ...) मॉड्यूल विकसित करने, बनाने और अनुवाद करने में मदद करते हैं। डेल्फी/Kylix में लिखा
-
luabridge मुफ्त
Luabridge सी + + कार्यों और Lua वातावरण के लिए कक्षाएं निर्यात करने के लिए एक हल्के, निर्भरता मुक्त पुस्तकालय है । यह मानक-अनुपालन सी + + टेम्पलेट मेटाप्रोग्रामिंग का उपयोग करता है और लुआ 5.1.2 के खिलाफ लिखा गया है।
-
svgconv मुफ्त
एसवीजीकोंव एसवीजी पथों को सी प्रारूप में परिवर्तित करने के लिए एक सामग्री उपकरण है जिसे ओपनवीजी के साथ आसानी से उपयोग किया जा सकता है।
-
Mobile StrongBOX - Data Vault नि: शुल्क परीक्षण
सबसे अच्छा डेटा सुरक्षा एप्लिकेशन, मोबाइल स्ट्रांगबॉक्स निजी जानकारी के सुरक्षित भंडारण के लिए डिज़ाइन किया गया है, जैसे कि फ़ोटो या वीडियो, पासवर्ड, बैंक खातों के लिए डेटा, दस्तावेज और कुछ और जिसे आप सुरक्षित करना चाहते है
-
embedded Finite State Machine (eFSM) मुफ्त
एम्बेडेड परिमित राज्य मशीन (एफएसएम) सुविधा जिसका उपयोग प्रतिक्रियाशील या राज्यीय प्रणाली को मॉडल और नियंत्रित करने के लिए किया जा सकता है। इस प्रणाली का प्रतिनिधित्व किसी भी राज्य द्वारा किया जा सकता है । राज्य संक्रमण कई घटन
-
Albert मुफ्त
अल्बर्ट आम लिस्प के लिए एक डॉक्टर-जनरेटर है, जो जावाडॉक और डॉक्सीजेन के बराबर है। वर्तमान में यह डॉक्टरबुक दस्तावेज उत्पन्न करता है। यह एक ASDF प्रणाली परिभाषा पढ़ता है और प्रणाली दस्तावेजों ।
-
SETILog for Unix मुफ्त
SETILog एक टेक्स्ट सीएसवी फ़ाइल में एक पूर्ण SETI@home कार्य-इकाई के कुछ आंकड़े बचाता है। इस फ़ाइल को पूरा वर्कयूनिट का ट्रैक रखने के लिए SETIWatch द्वारा की आवश्यकता है।
-
HappyDoc मुफ्त
हैप्पीडॉक पायथन स्रोत कोड से दस्तावेज निकालने के लिए एक उपकरण है। यह इस तथ्य से अन्य ऐसे अनुप्रयोगों से अलग है कि यह जानकारी प्राप्त करने के लिए मॉड्यूल के लिए पार्स पेड़ का उपयोग करता है और मॉड्यूल का आयात नहीं करता है।
-
OpenCL .Net मुफ्त
यह प्रोजेक्ट दो काम करने का प्रयास करता है। सबसे पहले, यह ओपनसीएल एपीआई को बाइंडिंग प्रदान करता है जो ओपनसीएल 1.1 कल्पना को यथासंभव बारीकी से प्रतिबिंबित करता है। दूसरा, यह एपीआई का उच्च स्तर का अमूर्तता प्रदान करता है जो अधि
-
PAPAS: Path Planning Algorithm Suite मुफ्त
PAPAS (पथ योजना एल्गोरिदम सुइट) पथ योजना के लिए इरादा एल्गोरिदम का एक सेट है। इसमें पीआरएम, आरआरटी, वेवफ्रंट प्लानर आदि जैसे कॉमन एल्गोरिदम हैं। इसका क्रियान्वयन सी भाषा में किया जाता है और यह कोड करीब दो साल से विकसित किया ग