From f609ee6298b1e1eedf70227513b9fc01e556adce Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 23 Oct 2016 20:44:25 -0700 Subject: [PATCH] add documentation Signed-off-by: Nikolaj Bjorner --- examples/python/all_interval_series.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/examples/python/all_interval_series.py b/examples/python/all_interval_series.py index 485363f02..d55017a56 100644 --- a/examples/python/all_interval_series.py +++ b/examples/python/all_interval_series.py @@ -1,3 +1,10 @@ +# Copyright Microsoft Research 2016 +# The following script finds sequences of length n-1 of +# integers 0,..,n-1 such that the difference of the n-1 +# adjacent entries fall in the range 0,..,n-1 +# This is known as the "The All-Interval Series Problem" +# See http://www.csplib.org/Problems/prob007/ + from z3 import * import time