Debugging Guide

Quite often, a model does not work on the first try. This document is a guide for debugging in such a situation.

• Validating a Solution
• Debugging using States
  • Getting and Changing a State
  • Evaluating an Expression
  • Applying a Transition to a State
  • Checking Base Cases
  • Checking State Constraints
  • Evaluating Dual Bound
• Common Mistakes
  • Forgetting Adding a Transition
  • Using Built-in max() for Expressions
  • Using If Statements with Condition
  • Using Boolean Operators in Condition
  • Using a Table as a Nested List
  • Using an Inappropriate Solver