consys

consys is a flexible tool to evaluate models using generic and readable constraints.

consys-solver

consys-solver is a tool to find feasible model assignments for consys constraint systems.