There are a lot of compiler warnings (mostly dangling else) that should be cleaned-up.
Need to first create a test suite for the functions in Leon's backtracking lib so that any inadvertent changes that effect functionality will get caught.
Leon's reference manual for the backtracking algorithms and his other programs mentions a suite of test cases, but they are not present in the repository within guava.
There are a lot of compiler warnings (mostly dangling else) that should be cleaned-up. Need to first create a test suite for the functions in Leon's backtracking lib so that any inadvertent changes that effect functionality will get caught.