Updated encodings for SAT and Cyclic Ordering. Removed metasp.