Oh I saw this on reddit! This is an awesome way to understand what the SMT solvers are good at and what not to use them for. I'm a fan of EPL and Man UTD, I've given some thought few times to try figuring out if there would be a away to approach this sort of solution.
I wonder if this can be applied to other set of fixtures! For example in the FA cup, more accuracy with winning and lower rate of teams. Or the other leagues like La Liga.
I wonder if this can be applied to other set of fixtures! For example in the FA cup, more accuracy with winning and lower rate of teams. Or the other leagues like La Liga.