souffle-lang/souffle
@souffle-langSoufflé, हॉर्न क्लॉज़ में विश्लेषण तैयार करने वाले टूल डिज़ाइनरों के लिए Datalog का एक वेरिएंट है। Soufflé एक लॉजिक स्पेसिफिकेशन से एक नेटिव पैरेलल C++ प्रोग्राम तैयार करता है।
स्टार
1,155
फ़ोर्क
242
भाषा
C++
लाइसेंस
UPL-1.0
आख़िरी push
2 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।