यूलर एक अनुमान इंजन तर्क आधारित सबूत का समर्थन है। यह यूलर पथ का पता लगाने के साथ बढ़ाया गया एक पिछड़ा-चेनिंग तर्ककर्ता है। इसमें जावा, सी #, पायथन, जावास्क्रिप्ट और प्रोलॉग में कार्यान्वयन किया गया है। N3 के माध्यम से यह W3C Cwm के साथ इंटरऑपरेबल है।
संस्करण इतिहास
- विवरण Euler-2011-06-24 पर तैनात 2011-06-25
- विवरण Euler-2011-03-25 पर तैनात 2011-03-25
कई सुधार और अपडेट
कार्यक्रम विवरण
- कोटि: सिस्टम यूटिलिटीज > अन्य
- प्रकाशक: eulersharp.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 2011-06-24
- मंच: linux