• 扣是允许的执行情况的答复设置规划算法，允许你解决的正常逻辑的程序。 该方法是基于冲突的驱动的nogood学习技术。

    你可以使用这个工具作为ASP求解，坐了解或PB求解项目涉及到的答复设置的解决。

  • अकवार अनुमति देता है एक कार्यान्वयन का जवाब सेट प्रोग्रामिंग एल्गोरिथ्म की अनुमति देता है कि आप को हल करने के लिए सामान्य तर्क कार्यक्रमों. विधि पर आधारित है के संघर्ष चालित nogood सीखने की तकनीक है ।

    आप कर सकते हैं इस उपकरण का उपयोग करें के रूप में एक एएसपी solver, बैठे सॉल्वर या पंजाब solver के लिए अपनी परियोजनाओं में शामिल है कि जवाब सेट को सुलझाने ।

  • clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs. The method is based on the conflict-driven nogood learning technique.

    You can use this tool as a ASP solver, SAT solver or PB solver for your projects that involve answer set solving.