Determinacy Checker -- qpdet


qpdet is a tool to help you write efficient, determinate code. It is intended to be used to look for unwanted nondeterminacy in programs that are intended to be mostly determinate. Unintended nondeterminacy should be eradicated because

  1. it may give you wrong answers on backtracking
  2. it may cause a lot of memory to be wasted

See bas-eff-det for detailed information on using this tool.