(** Zebrajs a constrain problem solving lib **)
Recently I discover that my zebrajs lib was broken, mostly because of type conversion, so I decided that was time to start adding automated testing to the lib.
The test file is here they are pretty simple.
Now with tests I hope to avoid breaking the lib and that it became much more stable.
Try it out 😀 and give me some feedback.