Spoiler alerts

There are already plenty of great open source constraint solvers:

🐙 My favourite.... but I am biased

And several excellent constraint modeling languages:

So basically here
we are not going to reinvent the wheel
or break the paradigm
but just