Hi, folks! cavern is segfaulting on one of my datasets. The point seems to be that I load the good data, solve it, and then load the bad data - it segfaults in articulate() on the second solve. I cut down the dataset to the minimal set that still shows this behavior and can mail it if someone wishes to replicate the bug. Cheers, Leandro