VSAT Debug some timing information, some stats did not add up for single variant refactor types, they are too polymorphic for the wrong things Building an executable that can be run on the OSU servers Rip out Spock, it’s dependencies are a pain in the ass Vsat concurrent auto still does not work because the solvers run out of money refactor to pass configuration only and not entire solver state plot ratio of workers/listeners by time Make a datalog implementation for ccl this is likely the center of the paper on ccl