reset password
Author Message
smoon2
Posts: 9
Posted 09:38 Nov 01, 2019 |

Is there a way to debug and step over line by line in Minizinc?

rabbott
Posts: 1649
Posted 09:54 Nov 01, 2019 |

Not as far as I know, but look at Section 2.6 in the MiniZinc Handbook, especially the trace function described in Sections 2.6.2,  4.2.4.13, and 4.1.11.10.

Last edited by rabbott at 10:08 Nov 01, 2019.