Node:3.11.1 Other Changes, Previous:3.11.1 Bugs Fixed, Up:3.11.1 Changes
library(gauge)
: The default has been changed to show non-zero
counts only.
library(gauge)
: New Specification: Calls+Backtracking. This
is especially meaningful when Resolution is Clause.