CTO of Rainforest here. Having only recently done some MiniZinc, it's super fun and actually pretty accessible to get started with - but totally different to "normal" programming! Tyrant def made a difference to how much time / well we do on-call.