Why can’t you just figure out how many ways to sum 10 12-sided dice to 70, and then for each solution, multiply that by the number of ways the other dice could all be ≤ the smallest one (times changes in ordering). Seems like it'd take no more than 20 or 30 minutes to code up.