jConstraints and its bindings were originally developed as a part of the PSYCO: A Predicate-based Symbolic Compositional Reasoning environment platform at https://github.com/psycopaths/jconstraints.
This fork was is maintained by the AQUA Working Group at TU Dortmund University. It was created after commits:
876e377
(jConstraints)a9ab06a
(jConstraints-Z3)
- Nils Schmidt