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