A set of benchmarks to compare a new prototype MiniZinc implementation
1def ack(m, n): 2 if m == 0: 3 return n + 1 4 elif n == 0: 5 return ack(m-1, 1) 6 else: 7 return ack(m-1, ack(m,n-1)) 8 9if __name__ == "__main__": 10 for i in range(1000): 11 ack(3, 6)