It's just using a library, you can get the same effect in any language with a constraint satisfaction library.