Is this something which is inherently better handled by Crystal? For example does it have good libraries for contraint solving? What was your main motivation to

Is this something which is inherently better handled by Crystal? For example does it have good libraries for contraint solving? What was your main motivation to choose Crystal?