1 2 3 4 5 6 7 8 9 | language Essence 1.3 $ prob005.essence: Low Autocorrellation Binary Sequences $ Problem details available at http://www.csplib.org/Problems/prob005/ given n : int (1..) find seq : function ( total ) int (1..n) --> int (-1,1) minimising sum k : int (1..n) . ( sum i : int (1..n-k) . seq(i) * seq(i+k)) ** 2 |