utils

Utils

This is a file that has general utilities that might be useful for constructing solve scripts - the gadget chain searcher might also use functions declared in this.