Zebra is a software dedicated to solve Constraint Satisfaction Problems. It will contains most of the known solving algorithms (MAC, Backtracking, Backjumping, ...) and will allow to generate reports about the resolution (number of constraint checks, ...)
There are no reported vulnerabilities
30 Day SummaryMay 25 2016 — Jun 24 2016
|
12 Month SummaryJun 24 2015 — Jun 24 2016
|