sat-solvers

5गर्मी

2उत्तर

एसएमटी जेड 3 उपयोगकेस (डीबीसी की तरह) के व्यावहारिक उदाहरण और Z3 के लिए ओपन सोर्स विकल्प की तलाश में?

मुझे इस टूल के कोड और ओपन सोर्स विकल्प के साथ एसएमटी जेड 3 उपयोग (जैसे डीबीसी) के व्यावहारिक उदाहरणों में दिलचस्पी है और तलाश है। तो, वास्तव में, मैं इसी तरह की जेड 3 औपचारिक सुलझाने उपकरण में दिलचस्प

.net constraint-programming sat-solvers z3 2011-01-06

---