Fact indexing can be subtle: First-argument indexing - not taking effect
Just to confirm, the false just means “no further solutions found”, after checking for further solutions.
1 Like
Fact indexing can be subtle: First-argument indexing - not taking effect
Just to confirm, the false just means “no further solutions found”, after checking for further solutions.