python generated doc

2019-06-13 13:46:16 +02:00
parent f4a9ec4805
commit 119d10ac3b
8 changed files with 9744 additions and 64626 deletions
--- a/1
+++ b/1
@@ -85,6 +85,7 @@ include $(OR_ROOT)makefiles/Makefile.python.mk
 include $(OR_ROOT)makefiles/Makefile.java.mk
 include $(OR_ROOT)makefiles/Makefile.dotnet.mk
 include $(OR_ROOT)makefiles/Makefile.archive.mk
+include $(OR_ROOT)makefiles/Makefile.doc.mk

 # Finally include user makefile if it exists
 -include $(OR_ROOT)Makefile.user
--- a/docs/index.md
+++ b/docs/index.md
@@ -1,10 +1,18 @@
 # OR=Tools reference manuals

-## CP-SAT Reference manual
+## C++ Documentation

- [C++ API](cp_sat/cpp/index.html)
- [Python API](cp-sat/python/reference.md)
- [Java API](cp-sat/java/README.md)
+- [Main entry](cpp/index.html)
+- [CP-SAT namespace](cpp/namespaceoperations__research_1_1sat.html)
+
+## Java Documentation
+
+- [Main entry](java/index.html)
+- [CP-SAT namespace](java/namespacecom_1_1google_1_1ortools_1_1sat.html)
+
+## Python documentation
+
+- [CP-SAT module](python/ortools/sat/python/cp_model.html)



--- a/docs/java.tag
+++ b/docs/java.tag
--- a/docs/python/ortools/sat/python/cp_model.html/cp_model.html
+++ b/docs/python/ortools/sat/python/cp_model.html/cp_model.html
--- a/docs/python/ortools/util/sorted_interval_list.html/sorted_interval_list.html
+++ b/docs/python/ortools/util/sorted_interval_list.html/sorted_interval_list.html
@@ -0,0 +1,512 @@
+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1" />
+<meta name="generator" content="pdoc 0.6.2" />
+<title>sorted_interval_list API documentation</title>
+<meta name="description" content="" />
+<link href='https://cdnjs.cloudflare.com/ajax/libs/normalize/8.0.0/normalize.min.css' rel='stylesheet'>
+<link href='https://cdnjs.cloudflare.com/ajax/libs/10up-sanitize.css/8.0.0/sanitize.min.css' rel='stylesheet'>
+<link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/github.min.css" rel="stylesheet">
+<style>.flex{display:flex !important}body{line-height:1.5em}#content{padding:20px}#sidebar{padding:30px;overflow:hidden}.http-server-breadcrumbs{font-size:130%;margin:0 0 15px 0}#footer{font-size:.75em;padding:5px 30px;border-top:1px solid #ddd;text-align:right}#footer p{margin:0 0 0 1em;display:inline-block}#footer p:last-child{margin-right:30px}h1,h2,h3,h4,h5{font-weight:300}h1{font-size:2.5em;line-height:1.1em}h2{font-size:1.75em;margin:1em 0 .50em 0}h3{font-size:1.4em;margin:25px 0 10px 0}h4{margin:0;font-size:105%}a{color:#058;text-decoration:none;transition:color .3s ease-in-out}a:hover{color:#e82}.title code{font-weight:bold}h2[id^="header-"]{margin-top:2em}.ident{color:#900}pre code{background:#f8f8f8;font-size:.8em;line-height:1.4em}code{background:#f2f2f1;padding:1px 4px;overflow-wrap:break-word}h1 code{background:transparent}pre{background:#f8f8f8;border:0;border-top:1px solid #ccc;border-bottom:1px solid #ccc;margin:1em 0;padding:1ex}#http-server-module-list{display:flex;flex-flow:column}#http-server-module-list div{display:flex}#http-server-module-list dt{min-width:10%}#http-server-module-list p{margin-top:0}.toc ul,#index{list-style-type:none;margin:0;padding:0}#index code{background:transparent}#index h3{border-bottom:1px solid #ddd}#index ul{padding:0}#index h4{font-weight:bold}#index h4 + ul{margin-bottom:.6em}@media (min-width:200ex){#index .two-column{column-count:2}}@media (min-width:300ex){#index .two-column{column-count:3}}dl{margin-bottom:2em}dl dl:last-child{margin-bottom:4em}dd{margin:0 0 1em 3em}#header-classes + dl > dd{margin-bottom:3em}dd dd{margin-left:2em}dd p{margin:10px 0}.name{background:#eee;font-weight:bold;font-size:.85em;padding:5px 10px;display:inline-block;min-width:40%}.name:hover{background:#e0e0e0}.name > span:first-child{white-space:nowrap}.name.class > span:nth-child(2){margin-left:.4em}.inherited{color:#999;border-left:5px solid #eee;padding-left:1em}.inheritance em{font-style:normal;font-weight:bold}.desc h2{font-weight:400;font-size:1.25em}.desc h3{font-size:1em}.desc dt code{background:inherit}.source summary{color:#666;text-align:right;font-weight:400;font-size:.8em;text-transform:uppercase;cursor:pointer}.source pre{max-height:500px;overflow:auto;margin:0}.source pre code{font-size:12px;overflow:visible}.hlist{list-style:none}.hlist li{display:inline}.hlist li:after{content:',\2002'}.hlist li:last-child:after{content:none}.hlist .hlist{display:inline;padding-left:1em}img{max-width:100%}.admonition{padding:.1em .5em}.admonition-title{font-weight:bold}.admonition.note,.admonition.info,.admonition.important{background:#aef}.admonition.todo,.admonition.versionadded,.admonition.tip,.admonition.hint{background:#dfd}.admonition.warning,.admonition.versionchanged,.admonition.deprecated{background:#fd4}.admonition.error,.admonition.danger,.admonition.caution{background:lightpink}</style>
+<style media="screen and (min-width: 700px)">@media screen and (min-width:700px){#sidebar{width:30%}#content{width:70%;max-width:100ch;padding:3em 4em;border-left:1px solid #ddd}pre code{font-size:1em}.item .name{font-size:1em}main{display:flex;flex-direction:row-reverse;justify-content:flex-end}.toc ul ul,#index ul{padding-left:1.5em}.toc > ul > li{margin-top:.5em}}</style>
+<style media="print">@media print{#sidebar h1{page-break-before:always}.source{display:none}}@media print{*{background:transparent !important;color:#000 !important;box-shadow:none !important;text-shadow:none !important}a[href]:after{content:" (" attr(href) ")";font-size:90%}a[href][title]:after{content:none}abbr[title]:after{content:" (" attr(title) ")"}.ir a:after,a[href^="javascript:"]:after,a[href^="#"]:after{content:""}pre,blockquote{border:1px solid #999;page-break-inside:avoid}thead{display:table-header-group}tr,img{page-break-inside:avoid}img{max-width:100% !important}@page{margin:0.5cm}p,h2,h3{orphans:3;widows:3}h1,h2,h3,h4,h5,h6{page-break-after:avoid}}</style>
+</head>
+<body>
+<main>
+<article id="content">
+<header>
+<h1 class="title">Module <code>sorted_interval_list</code></h1>
+</header>
+<section id="section-intro">
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python"># This file was automatically generated by SWIG (http://www.swig.org).
+# Version 3.0.12
+#
+# Do not make changes to this file unless you know what you are doing--modify
+# the SWIG interface file instead.
+
+from sys import version_info as _swig_python_version_info
+if _swig_python_version_info &gt;= (2, 7, 0):
+    def swig_import_helper():
+        import importlib
+        pkg = __name__.rpartition(&#39;.&#39;)[0]
+        mname = &#39;.&#39;.join((pkg, &#39;_sorted_interval_list&#39;)).lstrip(&#39;.&#39;)
+        try:
+            return importlib.import_module(mname)
+        except ImportError:
+            return importlib.import_module(&#39;_sorted_interval_list&#39;)
+    _sorted_interval_list = swig_import_helper()
+    del swig_import_helper
+elif _swig_python_version_info &gt;= (2, 6, 0):
+    def swig_import_helper():
+        from os.path import dirname
+        import imp
+        fp = None
+        try:
+            fp, pathname, description = imp.find_module(&#39;_sorted_interval_list&#39;, [dirname(__file__)])
+        except ImportError:
+            import _sorted_interval_list
+            return _sorted_interval_list
+        try:
+            _mod = imp.load_module(&#39;_sorted_interval_list&#39;, fp, pathname, description)
+        finally:
+            if fp is not None:
+                fp.close()
+        return _mod
+    _sorted_interval_list = swig_import_helper()
+    del swig_import_helper
+else:
+    import _sorted_interval_list
+del _swig_python_version_info
+
+try:
+    _swig_property = property
+except NameError:
+    pass  # Python &lt; 2.2 doesn&#39;t have &#39;property&#39;.
+
+try:
+    import builtins as __builtin__
+except ImportError:
+    import __builtin__
+
+def _swig_setattr_nondynamic(self, class_type, name, value, static=1):
+    if (name == &#34;thisown&#34;):
+        return self.this.own(value)
+    if (name == &#34;this&#34;):
+        if type(value).__name__ == &#39;SwigPyObject&#39;:
+            self.__dict__[name] = value
+            return
+    method = class_type.__swig_setmethods__.get(name, None)
+    if method:
+        return method(self, value)
+    if (not static):
+        if _newclass:
+            object.__setattr__(self, name, value)
+        else:
+            self.__dict__[name] = value
+    else:
+        raise AttributeError(&#34;You cannot add attributes to %s&#34; % self)
+
+
+def _swig_setattr(self, class_type, name, value):
+    return _swig_setattr_nondynamic(self, class_type, name, value, 0)
+
+
+def _swig_getattr(self, class_type, name):
+    if (name == &#34;thisown&#34;):
+        return self.this.own()
+    method = class_type.__swig_getmethods__.get(name, None)
+    if method:
+        return method(self)
+    raise AttributeError(&#34;&#39;%s&#39; object has no attribute &#39;%s&#39;&#34; % (class_type.__name__, name))
+
+
+def _swig_repr(self):
+    try:
+        strthis = &#34;proxy of &#34; + self.this.__repr__()
+    except __builtin__.Exception:
+        strthis = &#34;&#34;
+    return &#34;&lt;%s.%s; %s &gt;&#34; % (self.__class__.__module__, self.__class__.__name__, strthis,)
+
+try:
+    _object = object
+    _newclass = 1
+except __builtin__.Exception:
+    class _object:
+        pass
+    _newclass = 0
+
+class Domain(_object):
+    __swig_setmethods__ = {}
+    __setattr__ = lambda self, name, value: _swig_setattr(self, Domain, name, value)
+    __swig_getmethods__ = {}
+    __getattr__ = lambda self, name: _swig_getattr(self, Domain, name)
+    __repr__ = _swig_repr
+
+    def __init__(self, *args):
+        this = _sorted_interval_list.new_Domain(*args)
+        try:
+            self.this.append(this)
+        except __builtin__.Exception:
+            self.this = this
+    if _newclass:
+        AllValues = staticmethod(_sorted_interval_list.Domain_AllValues)
+    else:
+        AllValues = _sorted_interval_list.Domain_AllValues
+    if _newclass:
+        FromValues = staticmethod(_sorted_interval_list.Domain_FromValues)
+    else:
+        FromValues = _sorted_interval_list.Domain_FromValues
+    if _newclass:
+        FromIntervals = staticmethod(_sorted_interval_list.Domain_FromIntervals)
+    else:
+        FromIntervals = _sorted_interval_list.Domain_FromIntervals
+    if _newclass:
+        FromFlatIntervals = staticmethod(_sorted_interval_list.Domain_FromFlatIntervals)
+    else:
+        FromFlatIntervals = _sorted_interval_list.Domain_FromFlatIntervals
+
+    def FlattenedIntervals(self) -&gt; &#34;std::vector&lt; int64 &gt;&#34;:
+        return _sorted_interval_list.Domain_FlattenedIntervals(self)
+
+    def IsEmpty(self) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain_IsEmpty(self)
+
+    def Size(self) -&gt; &#34;int64&#34;:
+        return _sorted_interval_list.Domain_Size(self)
+
+    def Min(self) -&gt; &#34;int64&#34;:
+        return _sorted_interval_list.Domain_Min(self)
+
+    def Max(self) -&gt; &#34;int64&#34;:
+        return _sorted_interval_list.Domain_Max(self)
+
+    def Contains(self, value: &#39;int64&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain_Contains(self, value)
+
+    def Complement(self) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_Complement(self)
+
+    def Negation(self) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_Negation(self)
+
+    def IntersectionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_IntersectionWith(self, domain)
+
+    def UnionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_UnionWith(self, domain)
+
+    def AdditionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_AdditionWith(self, domain)
+
+    def __str__(self) -&gt; &#34;std::string&#34;:
+        return _sorted_interval_list.Domain___str__(self)
+
+    def __lt__(self, other: &#39;Domain&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain___lt__(self, other)
+
+    def __eq__(self, other: &#39;Domain&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain___eq__(self, other)
+
+    def __ne__(self, other: &#39;Domain&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain___ne__(self, other)
+    __swig_destroy__ = _sorted_interval_list.delete_Domain
+    __del__ = lambda self: None
+Domain_swigregister = _sorted_interval_list.Domain_swigregister
+Domain_swigregister(Domain)
+
+def Domain_AllValues() -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_AllValues()
+Domain_AllValues = _sorted_interval_list.Domain_AllValues
+
+def Domain_FromValues(values: &#39;std::vector&lt; int64 &gt;&#39;) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_FromValues(values)
+Domain_FromValues = _sorted_interval_list.Domain_FromValues
+
+def Domain_FromIntervals(intervals: &#39;std::vector&lt; std::vector&lt; int64 &gt; &gt; const &amp;&#39;) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_FromIntervals(intervals)
+Domain_FromIntervals = _sorted_interval_list.Domain_FromIntervals
+
+def Domain_FromFlatIntervals(flat_intervals: &#39;std::vector&lt; int64 &gt; const &amp;&#39;) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_FromFlatIntervals(flat_intervals)
+Domain_FromFlatIntervals = _sorted_interval_list.Domain_FromFlatIntervals
+
+
+def __lshift__(*args) -&gt; &#34;std::ostream &amp;&#34;:
+    return _sorted_interval_list.__lshift__(*args)
+__lshift__ = _sorted_interval_list.__lshift__
+# This file is compatible with both classic and new-style classes.</code></pre>
+</details>
+</section>
+<section>
+</section>
+<section>
+</section>
+<section>
+</section>
+<section>
+<h2 class="section-title" id="header-classes">Classes</h2>
+<dl>
+<dt id="sorted_interval_list.Domain"><code class="flex name class">
+<span>class <span class="ident">Domain</span></span>
+<span>(</span><span>*args)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">class Domain(_object):
+    __swig_setmethods__ = {}
+    __setattr__ = lambda self, name, value: _swig_setattr(self, Domain, name, value)
+    __swig_getmethods__ = {}
+    __getattr__ = lambda self, name: _swig_getattr(self, Domain, name)
+    __repr__ = _swig_repr
+
+    def __init__(self, *args):
+        this = _sorted_interval_list.new_Domain(*args)
+        try:
+            self.this.append(this)
+        except __builtin__.Exception:
+            self.this = this
+    if _newclass:
+        AllValues = staticmethod(_sorted_interval_list.Domain_AllValues)
+    else:
+        AllValues = _sorted_interval_list.Domain_AllValues
+    if _newclass:
+        FromValues = staticmethod(_sorted_interval_list.Domain_FromValues)
+    else:
+        FromValues = _sorted_interval_list.Domain_FromValues
+    if _newclass:
+        FromIntervals = staticmethod(_sorted_interval_list.Domain_FromIntervals)
+    else:
+        FromIntervals = _sorted_interval_list.Domain_FromIntervals
+    if _newclass:
+        FromFlatIntervals = staticmethod(_sorted_interval_list.Domain_FromFlatIntervals)
+    else:
+        FromFlatIntervals = _sorted_interval_list.Domain_FromFlatIntervals
+
+    def FlattenedIntervals(self) -&gt; &#34;std::vector&lt; int64 &gt;&#34;:
+        return _sorted_interval_list.Domain_FlattenedIntervals(self)
+
+    def IsEmpty(self) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain_IsEmpty(self)
+
+    def Size(self) -&gt; &#34;int64&#34;:
+        return _sorted_interval_list.Domain_Size(self)
+
+    def Min(self) -&gt; &#34;int64&#34;:
+        return _sorted_interval_list.Domain_Min(self)
+
+    def Max(self) -&gt; &#34;int64&#34;:
+        return _sorted_interval_list.Domain_Max(self)
+
+    def Contains(self, value: &#39;int64&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain_Contains(self, value)
+
+    def Complement(self) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_Complement(self)
+
+    def Negation(self) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_Negation(self)
+
+    def IntersectionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_IntersectionWith(self, domain)
+
+    def UnionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_UnionWith(self, domain)
+
+    def AdditionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+        return _sorted_interval_list.Domain_AdditionWith(self, domain)
+
+    def __str__(self) -&gt; &#34;std::string&#34;:
+        return _sorted_interval_list.Domain___str__(self)
+
+    def __lt__(self, other: &#39;Domain&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain___lt__(self, other)
+
+    def __eq__(self, other: &#39;Domain&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain___eq__(self, other)
+
+    def __ne__(self, other: &#39;Domain&#39;) -&gt; &#34;bool&#34;:
+        return _sorted_interval_list.Domain___ne__(self, other)
+    __swig_destroy__ = _sorted_interval_list.delete_Domain
+    __del__ = lambda self: None</code></pre>
+</details>
+<h3>Static methods</h3>
+<dl>
+<dt id="sorted_interval_list.Domain.AllValues"><code class="name flex">
+<span>def <span class="ident">AllValues</span></span>(<span>...)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+</dd>
+<dt id="sorted_interval_list.Domain.FromFlatIntervals"><code class="name flex">
+<span>def <span class="ident">FromFlatIntervals</span></span>(<span>...)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+</dd>
+<dt id="sorted_interval_list.Domain.FromIntervals"><code class="name flex">
+<span>def <span class="ident">FromIntervals</span></span>(<span>...)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+</dd>
+<dt id="sorted_interval_list.Domain.FromValues"><code class="name flex">
+<span>def <span class="ident">FromValues</span></span>(<span>...)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+</dd>
+</dl>
+<h3>Methods</h3>
+<dl>
+<dt id="sorted_interval_list.Domain.AdditionWith"><code class="name flex">
+<span>def <span class="ident">AdditionWith</span></span>(<span>self, domain)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def AdditionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_AdditionWith(self, domain)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.Complement"><code class="name flex">
+<span>def <span class="ident">Complement</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def Complement(self) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_Complement(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.Contains"><code class="name flex">
+<span>def <span class="ident">Contains</span></span>(<span>self, value)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def Contains(self, value: &#39;int64&#39;) -&gt; &#34;bool&#34;:
+    return _sorted_interval_list.Domain_Contains(self, value)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.FlattenedIntervals"><code class="name flex">
+<span>def <span class="ident">FlattenedIntervals</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def FlattenedIntervals(self) -&gt; &#34;std::vector&lt; int64 &gt;&#34;:
+    return _sorted_interval_list.Domain_FlattenedIntervals(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.IntersectionWith"><code class="name flex">
+<span>def <span class="ident">IntersectionWith</span></span>(<span>self, domain)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def IntersectionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_IntersectionWith(self, domain)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.IsEmpty"><code class="name flex">
+<span>def <span class="ident">IsEmpty</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def IsEmpty(self) -&gt; &#34;bool&#34;:
+    return _sorted_interval_list.Domain_IsEmpty(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.Max"><code class="name flex">
+<span>def <span class="ident">Max</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def Max(self) -&gt; &#34;int64&#34;:
+    return _sorted_interval_list.Domain_Max(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.Min"><code class="name flex">
+<span>def <span class="ident">Min</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def Min(self) -&gt; &#34;int64&#34;:
+    return _sorted_interval_list.Domain_Min(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.Negation"><code class="name flex">
+<span>def <span class="ident">Negation</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def Negation(self) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_Negation(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.Size"><code class="name flex">
+<span>def <span class="ident">Size</span></span>(<span>self)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def Size(self) -&gt; &#34;int64&#34;:
+    return _sorted_interval_list.Domain_Size(self)</code></pre>
+</details>
+</dd>
+<dt id="sorted_interval_list.Domain.UnionWith"><code class="name flex">
+<span>def <span class="ident">UnionWith</span></span>(<span>self, domain)</span>
+</code></dt>
+<dd>
+<section class="desc"></section>
+<details class="source">
+<summary>Source code</summary>
+<pre><code class="python">def UnionWith(self, domain: &#39;Domain&#39;) -&gt; &#34;operations_research::Domain&#34;:
+    return _sorted_interval_list.Domain_UnionWith(self, domain)</code></pre>
+</details>
+</dd>
+</dl>
+</dd>
+</dl>
+</section>
+</article>
+<nav id="sidebar">
+<h1>Index</h1>
+<div class="toc">
+<ul></ul>
+</div>
+<ul id="index">
+<li><h3><a href="#header-classes">Classes</a></h3>
+<ul>
+<li>
+<h4><code><a title="sorted_interval_list.Domain" href="#sorted_interval_list.Domain">Domain</a></code></h4>
+<ul class="two-column">
+<li><code><a title="sorted_interval_list.Domain.AdditionWith" href="#sorted_interval_list.Domain.AdditionWith">AdditionWith</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.AllValues" href="#sorted_interval_list.Domain.AllValues">AllValues</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.Complement" href="#sorted_interval_list.Domain.Complement">Complement</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.Contains" href="#sorted_interval_list.Domain.Contains">Contains</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.FlattenedIntervals" href="#sorted_interval_list.Domain.FlattenedIntervals">FlattenedIntervals</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.FromFlatIntervals" href="#sorted_interval_list.Domain.FromFlatIntervals">FromFlatIntervals</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.FromIntervals" href="#sorted_interval_list.Domain.FromIntervals">FromIntervals</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.FromValues" href="#sorted_interval_list.Domain.FromValues">FromValues</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.IntersectionWith" href="#sorted_interval_list.Domain.IntersectionWith">IntersectionWith</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.IsEmpty" href="#sorted_interval_list.Domain.IsEmpty">IsEmpty</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.Max" href="#sorted_interval_list.Domain.Max">Max</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.Min" href="#sorted_interval_list.Domain.Min">Min</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.Negation" href="#sorted_interval_list.Domain.Negation">Negation</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.Size" href="#sorted_interval_list.Domain.Size">Size</a></code></li>
+<li><code><a title="sorted_interval_list.Domain.UnionWith" href="#sorted_interval_list.Domain.UnionWith">UnionWith</a></code></li>
+</ul>
+</li>
+</ul>
+</li>
+</ul>
+</nav>
+</main>
+<footer id="footer">
+<p>Generated by <a href="https://pdoc3.github.io/pdoc"><cite>pdoc</cite> 0.6.2</a>.</p>
+</footer>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min.js"></script>
+<script>hljs.initHighlightingOnLoad()</script>
+</body>
+</html>
--- a/makefiles/Makefile.doc.mk
+++ b/makefiles/Makefile.doc.mk
@@ -0,0 +1,11 @@
+# Generate documentation
+
+cpp-doc:
+	doxygen tools/cpp.doxy
+
+java-doc:
+	doxygen tools/java.doxy
+
+python-doc:
+	pdoc3 --html -o docs/python/ortools/sat/python/cp_model.html ortools/sat/python/cp_model.py
+	pdoc3 --html -o docs/python/ortools/util/sorted_interval_list.html ortools/gen/ortools/util/sorted_interval_list.py
--- a/makefiles/Makefile.gen.mk
+++ b/makefiles/Makefile.gen.mk
@@ -2809,7 +2809,16 @@ objs/linear_solver/model_validator.$O: \
 	$(CCC) $(CFLAGS) -c $(SRC_DIR)$Sortools$Slinear_solver$Smodel_validator.cc $(OBJ_OUT)$(OBJ_DIR)$Slinear_solver$Smodel_validator.$O

 objs/linear_solver/scip_interface.$O: \
- ortools/linear_solver/scip_interface.cc | $(OBJ_DIR)/linear_solver
+ ortools/linear_solver/scip_interface.cc ortools/base/commandlineflags.h \
+ ortools/base/hash.h ortools/base/basictypes.h \
+ ortools/base/integral_types.h ortools/base/logging.h \
+ ortools/base/macros.h ortools/base/timer.h \
+ ortools/linear_solver/linear_solver.h ortools/base/status.h \
+ ortools/gen/ortools/glop/parameters.pb.h \
+ ortools/linear_solver/linear_expr.h \
+ ortools/gen/ortools/linear_solver/linear_solver.pb.h \
+ ortools/gen/ortools/util/optional_boolean.pb.h \
+ ortools/port/proto_utils.h | $(OBJ_DIR)/linear_solver
 	$(CCC) $(CFLAGS) -c $(SRC_DIR)$Sortools$Slinear_solver$Sscip_interface.cc $(OBJ_OUT)$(OBJ_DIR)$Slinear_solver$Sscip_interface.$O

 ortools/linear_solver/linear_solver.proto: ;
@@ -3771,4 +3780,3 @@ $(GEN_DIR)/ortools/constraint_solver/solver_parameters.pb.h: \
 $(OBJ_DIR)/constraint_solver/solver_parameters.pb.$O: \
 $(GEN_DIR)/ortools/constraint_solver/solver_parameters.pb.cc | $(OBJ_DIR)/constraint_solver
 	$(CCC) $(CFLAGS) -c $(GEN_PATH)$Sortools$Sconstraint_solver$Ssolver_parameters.pb.cc $(OBJ_OUT)$(OBJ_DIR)$Sconstraint_solver$Ssolver_parameters.pb.$O
-
--- a/makefiles/Makefile.unix.mk
+++ b/makefiles/Makefile.unix.mk
@@ -95,7 +95,7 @@ ifdef UNIX_GLPK_DIR
 endif
 # This is needed to find scip include files.
 ifdef UNIX_SCIP_DIR
-  SCIP_INC = -I$(UNIX_SCIP_DIR)/include -DUSE_SCIP
+  SCIP_INC = -I$(UNIX_SCIP_DIR)/include -DUSE_SCIP -DNO_CONFIG_HEADER
  SCIP_SWIG = $(SCIP_INC)
 endif
 ifdef UNIX_GUROBI_DIR
@@ -196,8 +196,8 @@ ifeq ($(PLATFORM),MACOSX)
  endif
  ifdef UNIX_SCIP_DIR
    SCIP_LNK = -force_load \
- $(UNIX_SCIP_DIR)/lib/libscip.a \
- $(UNIX_SCIP_DIR)/lib/libsoplex-pic.a
+ $(UNIX_SCIP_DIR)/lib/libscipopt.a \
+ $(UNIX_SCIP_DIR)/lib/libsoplex.a
  endif
  ifdef UNIX_GUROBI_DIR
    GUROBI_LNK = \