This is a library that is used to manipulate solutions on the lattice.