Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
at develop 11 lines 185 B view raw
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)