├── .gitignore
├── .travis.yml
├── LICENSE.txt
├── MANIFEST.in
├── README.rst
├── allies
    ├── __init__.py
    ├── approxmc.py
    └── unigen.py
├── appveyor.yml
├── appveyor
    ├── instdep.py
    └── runtests.py
├── cardenc
    ├── bitwise.hh
    ├── card.hh
    ├── clset.hh
    ├── common.hh
    ├── itot.hh
    ├── ladder.hh
    ├── mto.hh
    ├── pairwise.hh
    ├── ptypes.hh
    ├── pycard.cc
    ├── seqcounter.hh
    ├── sortcard.hh
    └── utils.hh
├── docs
    ├── .nojekyll
    ├── Makefile
    ├── _static
    │   ├── favicon.ico
    │   ├── logo-dark.svg
    │   └── pysat.png
    ├── _templates
    │   ├── sidebar_contact.html
    │   ├── sidebar_version.html
    │   ├── sidebar_webpage.html
    │   └── version.html
    ├── api
    │   ├── allies
    │   │   ├── approxmc.rst
    │   │   └── unigen.rst
    │   ├── card.rst
    │   ├── engines.rst
    │   ├── examples
    │   │   ├── fm.rst
    │   │   ├── genhard.rst
    │   │   ├── hitman.rst
    │   │   ├── lbx.rst
    │   │   ├── lsu.rst
    │   │   ├── mcsls.rst
    │   │   ├── models.rst
    │   │   ├── musx.rst
    │   │   ├── optux.rst
    │   │   └── rc2.rst
    │   ├── formula.rst
    │   ├── pb.rst
    │   ├── process.rst
    │   └── solvers.rst
    ├── conf.py
    ├── index.rst
    └── requirements.txt
├── examples
    ├── __init__.py
    ├── fm.py
    ├── genhard.py
    ├── hitman.py
    ├── lbx.py
    ├── lsu.py
    ├── mcsls.py
    ├── models.py
    ├── musx.py
    ├── optux.py
    ├── rc2.py
    └── usage.py
├── pysat
    ├── __init__.py
    ├── _fileio.py
    ├── _utils.py
    ├── card.py
    ├── engines.py
    ├── formula.py
    ├── pb.py
    ├── process.py
    └── solvers.py
├── readthedocs.yml
├── requirements.txt
├── setup.cfg
├── setup.py
├── solvers
    ├── cadical103.tar.gz
    ├── cadical153.tar.gz
    ├── cadical195.tar.gz
    ├── genpatches.py
    ├── glucose30.tar.gz
    ├── glucose41.tar.gz
    ├── glucose421.tar.gz
    ├── lingeling.tar.gz
    ├── maplechrono.zip
    ├── maplecm.zip
    ├── maplesat.zip
    ├── mergesat3.tar.gz
    ├── minicard.tar.gz
    ├── minisat22.tar.gz
    ├── minisatgh.zip
    ├── patches
    │   ├── cadical103.patch
    │   ├── cadical153.patch
    │   ├── cadical195.patch
    │   ├── glucose30.patch
    │   ├── glucose41.patch
    │   ├── glucose421.patch
    │   ├── gluecard30.patch
    │   ├── gluecard41.patch
    │   ├── lingeling.patch
    │   ├── maplechrono.patch
    │   ├── maplecm.patch
    │   ├── maplesat.patch
    │   ├── mergesat3.patch
    │   ├── minicard.patch
    │   ├── minisat22.patch
    │   └── minisatgh.patch
    ├── prepare.py
    └── pysolvers.cc
├── tests
    ├── test_accum_stats.py
    ├── test_atmost.py
    ├── test_atmost1.py
    ├── test_atmostk.py
    ├── test_boolengine.py
    ├── test_clausification.py
    ├── test_cnf.py
    ├── test_equals1.py
    ├── test_formula_unique.py
    ├── test_process.py
    ├── test_propagate.py
    ├── test_unique_model.py
    ├── test_unique_mus.py
    └── test_warmstart.py
├── travis
    └── build-wheels.sh
├── web
    ├── .gitignore
    ├── .gitmodules
    ├── .nojekyll
    ├── Makefile
    ├── assets
    │   ├── css
    │   │   ├── code-highlight.css
    │   │   ├── shell.css
    │   │   └── vars.css
    │   └── icons
    │   │   └── bug-report.svg
    ├── config.yaml
    ├── content
    │   ├── about
    │   │   └── _index.md
    │   ├── citation.md
    │   ├── features.md
    │   ├── gethelp.md
    │   ├── getstarted.md
    │   ├── installation.md
    │   ├── medals.svg
    │   ├── shortcodes.md
    │   ├── shortcodes.md.stub
    │   ├── todo.md
    │   ├── updates.md
    │   └── usage.md
    ├── layouts
    │   └── partials
    │   │   ├── footer.html
    │   │   ├── meta.html
    │   │   ├── shell-lesson.html
    │   │   └── shell.html
    ├── medals.svg
    ├── netlify.toml
    ├── static
    │   ├── example.html
    │   ├── images
    │   │   ├── favicon.ico
    │   │   ├── logo-black.svg
    │   │   ├── logo-dark.svg
    │   │   ├── logo-light.svg
    │   │   └── medals.svg
    │   ├── medals.html
    │   └── teams
    │   │   └── theme-team.html
    └── themes
    │   └── scientific-python-hugo-theme
    │       ├── .github
    │           └── workflows
    │           │   └── lint.yml
    │       ├── .gitignore
    │       ├── .gitmodules
    │       ├── .pre-commit-config.yaml
    │       ├── LICENSE
    │       ├── Makefile
    │       ├── README.md
    │       ├── assets
    │           ├── icons
    │           │   ├── README.md
    │           │   ├── discourse.svg
    │           │   ├── facebook.svg
    │           │   ├── github.svg
    │           │   ├── instagram.svg
    │           │   ├── launch.svg
    │           │   ├── mail.svg
    │           │   ├── rss-feed.svg
    │           │   ├── scientific-python.svg
    │           │   ├── sent.svg
    │           │   ├── tiktok.svg
    │           │   ├── twitter.svg
    │           │   └── youtube.svg
    │           ├── js
    │           │   ├── fresh.js
    │           │   └── shortcuts.js
    │           └── theme-css
    │           │   ├── code-highlight.css
    │           │   ├── content.css
    │           │   ├── fresh
    │           │       ├── core.scss
    │           │       └── partials
    │           │       │   ├── _animations.scss
    │           │       │   ├── _colors.scss
    │           │       │   ├── _navbar.scss
    │           │       │   └── _utils.scss
    │           │   ├── keyfeatures.css
    │           │   ├── news.css
    │           │   ├── notices.css
    │           │   ├── panel.css
    │           │   ├── posts.css
    │           │   ├── shortcuts.css
    │           │   ├── styles.css
    │           │   ├── tables.css
    │           │   ├── teams.css
    │           │   ├── vars.css
    │           │   └── videos.css
    │       ├── config.yaml
    │       ├── doc
    │           ├── .gitignore
    │           ├── Makefile
    │           ├── config.yaml
    │           ├── content
    │           │   ├── about
    │           │   │   └── _index.md
    │           │   ├── example-markdown.md
    │           │   ├── features.md
    │           │   ├── gethelp.md
    │           │   ├── getstarted.md
    │           │   ├── news
    │           │   │   └── new-theme.md
    │           │   ├── shortcodes.md.stub
    │           │   └── video-page.md
    │           ├── netlify.toml
    │           └── static
    │           │   ├── example.html
    │           │   ├── images
    │           │       └── logo.svg
    │           │   └── teams
    │           │       └── theme-team.html
    │       ├── exampleSite
    │       ├── layouts
    │           ├── _default
    │           │   ├── baseof.html
    │           │   ├── section.html
    │           │   └── single.html
    │           ├── index.html
    │           ├── partials
    │           │   ├── analytics.html
    │           │   ├── css.html
    │           │   ├── footer.html
    │           │   ├── footer_actions.html
    │           │   ├── head.html
    │           │   ├── hero-body.html
    │           │   ├── hero.html
    │           │   ├── javascript.html
    │           │   ├── keyfeatures.html
    │           │   ├── meta.html
    │           │   ├── navbar-clone.html
    │           │   ├── navbar.html
    │           │   ├── news.html
    │           │   ├── panel.html
    │           │   ├── post_meta.html
    │           │   ├── section
    │           │   │   └── section.html
    │           │   ├── single
    │           │   │   ├── content.html
    │           │   │   └── single.html
    │           │   ├── svg-icon.html
    │           │   └── translation.html
    │           └── shortcodes
    │           │   ├── include-html.html
    │           │   ├── include-md.html
    │           │   ├── mermaid.html
    │           │   ├── notice.html
    │           │   ├── numfocus.html
    │           │   ├── team.html
    │           │   ├── team_member.html
    │           │   ├── yamlToTable.html
    │           │   └── youtube.html
    │       ├── requirements.txt
    │       ├── static
    │           └── images
    │           │   ├── favicon.ico
    │           │   ├── icons
    │           │       └── list-bulleted.svg
    │           │   └── loaders
    │           │       └── rings.svg
    │       └── tools
    │           ├── render_shortcode_docs.py
    │           └── team_query.py
└── win
    └── unistd.h


/.gitignore:
--------------------------------------------------------------------------------
 1 | .DS_Store
 2 | *.pyc
 3 | *.zip
 4 | *.tar.gz
 5 | *.swp
 6 | build
 7 | _build
 8 | dist
 9 | solvers/._glucose-syrup-4.1
10 | solvers/cadical103
11 | solvers/cadical153
12 | solvers/cadical195
13 | solvers/gluecard30
14 | solvers/gluecard41
15 | solvers/glucose30
16 | solvers/glucose41
17 | solvers/glucose421
18 | solvers/lingeling
19 | solvers/maplechrono
20 | solvers/maplecm
21 | solvers/maplesat
22 | solvers/mergesat3
23 | solvers/minicard
24 | solvers/minisat22
25 | solvers/minisatgh
26 | temp
27 | web/.hugo_build.lock
28 | wheelhouse
29 | 


--------------------------------------------------------------------------------
/.travis.yml:
--------------------------------------------------------------------------------
 1 | notifications:
 2 |   email: false
 3 | 
 4 | matrix:
 5 |   include:
 6 |     - sudo: required
 7 |       services:
 8 |         - docker
 9 |       env: DOCKER_IMAGE=quay.io/pypa/manylinux1_x86_64
10 |            PLAT=manylinux1_x86_64
11 |     - sudo: required
12 |       services:
13 |         - docker
14 |       env: DOCKER_IMAGE=quay.io/pypa/manylinux1_i686
15 |            PRE_CMD=linux32
16 |            PLAT=manylinux1_i686
17 |     - sudo: required
18 |       services:
19 |         - docker
20 |       env: DOCKER_IMAGE=quay.io/pypa/manylinux2010_x86_64
21 |            PLAT=manylinux2010_x86_64
22 |     - sudo: required
23 |       arch: arm64
24 |       services:
25 |         - docker
26 |       env: DOCKER_IMAGE=quay.io/pypa/manylinux2014_aarch64
27 |            PLAT=manylinux2014_aarch64
28 | 
29 | install:
30 |   - docker pull $DOCKER_IMAGE
31 | 
32 | script:
33 |   - docker run --rm -e PLAT=$PLAT -v `pwd`:/io $DOCKER_IMAGE $PRE_CMD /io/travis/build-wheels.sh
34 |   - ls wheelhouse/
35 | 


--------------------------------------------------------------------------------
/LICENSE.txt:
--------------------------------------------------------------------------------
 1 | MIT License
 2 | 
 3 | Copyright (c) 2018 Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
 4 | 
 5 | Permission is hereby granted, free of charge, to any person obtaining a copy
 6 | of this software and associated documentation files (the "Software"), to deal
 7 | in the Software without restriction, including without limitation the rights
 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 9 | copies of the Software, and to permit persons to whom the Software is
10 | furnished to do so, subject to the following conditions:
11 | 
12 | The above copyright notice and this permission notice shall be included in all
13 | copies or substantial portions of the Software.
14 | 
15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21 | SOFTWARE.
22 | 


--------------------------------------------------------------------------------
/MANIFEST.in:
--------------------------------------------------------------------------------
1 | include README.rst
2 | include LICENSE.txt
3 | include MANIFEST.in
4 | include requirements.txt
5 | recursive-include cardenc *.hh
6 | include solvers/prepare.py
7 | recursive-include solvers *.patch
8 | recursive-include solvers *.zip *.tar.gz
9 | 


--------------------------------------------------------------------------------
/allies/__init__.py:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/allies/__init__.py


--------------------------------------------------------------------------------
/appveyor.yml:
--------------------------------------------------------------------------------
 1 | image:
 2 |   - Visual Studio 2019
 3 | 
 4 | environment:
 5 | 
 6 |   matrix:
 7 | 
 8 |     # For Python versions available on Appveyor, see
 9 |     # https://www.appveyor.com/docs/windows-images-software/#python
10 |     # The list here is complete (excluding Python 2.6, which
11 |     # isn't covered by this document) at the time of writing.
12 |     # - PYTHON: "C:\\Python27-x64"
13 |     # - PYTHON: "C:\\Python36-x64"
14 |     - PYTHON: "C:\\Python37-x64"
15 |     - PYTHON: "C:\\Python38-x64"
16 |     - PYTHON: "C:\\Python39-x64"
17 |     - PYTHON: "C:\\Python310-x64"
18 |     - PYTHON: "C:\\Python311-x64"
19 |     - PYTHON: "C:\\Python312-x64"
20 |     - PYTHON: "C:\\Python313-x64"
21 | 
22 | install:
23 |   # We need wheel installed to build wheels
24 |   - "%PYTHON%\\python.exe -m pip install --upgrade pip setuptools wheel requests pytest"
25 |   - "%PYTHON%\\python.exe appveyor\\instdep.py"
26 | 
27 | build: off
28 | 
29 | test_script:
30 |   # Put your test command here.
31 |   # If you don't need to build C extensions on 64-bit Python 3.3 or 3.4,
32 |   # you can remove "build.cmd" from the front of the command, as it's
33 |   # only needed to support those cases.
34 |   # Note that you must use the environment variable %PYTHON% to refer to
35 |   # the interpreter you're using - Appveyor does not do anything special
36 |   # to put the Python version you want to use on PATH.
37 |   - "%PYTHON%\\python.exe setup.py bdist_wheel"
38 |   - "%PYTHON%\\python.exe appveyor\\runtests.py"
39 | 
40 | after_test:
41 |   # This step builds your wheels.
42 |   # Again, you only need build.cmd if you're building C extensions for
43 |   # 64-bit Python 3.3/3.4. And you need to use %PYTHON% to get the correct
44 |   # interpreter
45 |   # - "%PYTHON%\\python.exe setup.py bdist_wheel"
46 | 
47 | artifacts:
48 |   # bdist_wheel puts your built wheel in the dist directory
49 |   - path: dist\*
50 |     name: wheel
51 | 
52 | #on_success:
53 | #  You can use this step to upload your artifacts to a public website.
54 | #  See Appveyor's documentation for more details. Or you can simply
55 | #  access your wheels from the Appveyor "artifacts" tab for your build.
56 | 


--------------------------------------------------------------------------------
/appveyor/instdep.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | #-*- coding:utf-8 -*-
 3 | ##
 4 | ## instdep.py
 5 | ##
 6 | ##  Created on: Apr 19, 2020
 7 | ##      Author: Alexey Ignatiev
 8 | ##      E-mail: alexey.ignatiev@monash.edu
 9 | ##  Taken from: https://github.com/rjungbeck/pysat/blob/master/instdep.py
10 | 
11 | #
12 | #==============================================================================
13 | import argparse
14 | import os
15 | import platform
16 | import re
17 | import requests
18 | import sys
19 | 
20 | #
21 | #==============================================================================
22 | suffixes = {
23 |     (2,  7, '32bit'): None,
24 |     (3,  6, '32bit'): 'cp36-cp36m-win32',
25 |     (3,  7, '32bit'): 'cp37-cp37m-win32',
26 |     (3,  8, '32bit'): 'cp38-cp38-win32',
27 |     (3,  9, '32bit'): 'cp39-cp39-win32',
28 |     (3, 10, '32bit'): 'cp310-cp310-win32',
29 |     (3, 11, '32bit'): 'cp311-cp311-win_amd32',
30 |     (3, 12, '32bit'): 'cp312-cp312-win_amd32',
31 |     (3, 13, '32bit'): 'cp313-cp313-win_amd32',
32 |     (2,  7, '64bit'): None,
33 |     (3,  6, '64bit'): 'cp36-cp36m-win_amd64',
34 |     (3,  7, '64bit'): 'cp37-cp37m-win_amd64',
35 |     (3,  8, '64bit'): 'cp38-cp38-win_amd64',
36 |     (3,  9, '64bit'): 'cp39-cp39-win_amd64',
37 |     (3, 10, '64bit'): 'cp310-cp310-win_amd64',
38 |     (3, 11, '64bit'): 'cp311-cp311-win_amd64',
39 |     (3, 12, '64bit'): 'cp312-cp312-win_amd64',
40 |     (3, 13, '64bit'): 'cp313-cp313-win_amd64'
41 | }
42 | 
43 | 
44 | #
45 | #==============================================================================
46 | def pycall(cmd):
47 |     fullcmd = sys.executable + ' ' + cmd
48 |     print(fullcmd)
49 |     os.system(fullcmd)
50 | 
51 | 
52 | #
53 | #==============================================================================
54 | if __name__ == '__main__':
55 |     parser = argparse.ArgumentParser(description='Dependency installation',
56 |                                    formatter_class=argparse.ArgumentDefaultsHelpFormatter)
57 |     parser.add_argument('--release-url', type=str, default='https://api.github.com/repos/rjungbeck/pypblib/releases/latest',
58 |                         help='Release URL')
59 |     params = parser.parse_args()
60 | 
61 |     req = requests.get(params.release_url)
62 |     rsp = req.json()
63 | 
64 |     version = sys.version_info[:2]
65 |     architecture = platform.architecture()[0]
66 |     wheelId = (version[0], version[1], architecture)
67 |     suffix = suffixes[wheelId]
68 | 
69 |     print('Suffix', suffix)
70 | 
71 |     for asset in rsp['assets']:
72 |         print(asset['name'])
73 |         # if suffix and suffix in asset['name']:
74 |         #     pycall('-m pip install --upgrade {0}'.format(asset['browser_download_url']))
75 | 


--------------------------------------------------------------------------------
/appveyor/runtests.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | #-*- coding:utf-8 -*-
 3 | ##
 4 | ## runtests.py
 5 | ##
 6 | ##  Created on: Apr 21, 2020
 7 | ##      Author: Alexey Ignatiev
 8 | ##      E-mail: alexey.ignatiev@monash.edu
 9 | ##  Taken from: https://github.com/rjungbeck/pysat/blob/master/runtest.py
10 | 
11 | #
12 | #==============================================================================
13 | import argparse
14 | import glob
15 | import os
16 | import sys
17 | 
18 | 
19 | #
20 | #==============================================================================
21 | def pycall(cmd):
22 |     fullcmd = sys.executable + ' ' + cmd
23 | 
24 |     # trying to handle the issue of 'pysat.examples' module
25 |     if cmd == '-m pytest':
26 |         fullcmd = 'cd tests && ' + fullcmd
27 | 
28 |     ret = os.system(fullcmd)
29 | 
30 |     if ret != 0:
31 |         print('{0} returned {1}'.format(cmd, ret))
32 |         raise OSError
33 | 
34 | 
35 | #
36 | #==============================================================================
37 | if __name__ == '__main__':
38 |     parser = argparse.ArgumentParser(description='Install and test wheels build',
39 |                                      formatter_class=argparse.ArgumentDefaultsHelpFormatter)
40 |     parser.add_argument('--wheels', type=str, default='dist/*.whl', help='Wheel glob')
41 |     parser.add_argument('--test', type=str, default='-m pytest', help='Test command')
42 |     params = parser.parse_args()
43 | 
44 |     for wheel in glob.glob(params.wheels):
45 |         pycall('-m pip install --upgrade {0}'.format(wheel))
46 | 
47 |     pycall(params.test)
48 | 
49 |     sys.exit(0)
50 | 


--------------------------------------------------------------------------------
/cardenc/bitwise.hh:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * bitwise.hh (based on the 'card' library from BOLT)
 3 |  *
 4 |  *  Created on: Sep 25, 2017
 5 |  *      Author: aign
 6 |  */
 7 | 
 8 | #ifndef BITWISE_HH_
 9 | #define BITWISE_HH_
10 | 
11 | #include <cmath>
12 | #include "common.hh"
13 | 
14 | //
15 | //=============================================================================
16 | inline void bitwise_encode_atmost1(
17 | 	int& top_id,
18 | 	ClauseSet& clset,
19 | 	vector<int>& vars
20 | )
21 | {
22 | 	size_t naux = ceil(log(1.0 * vars.size()) / log(2.0));
23 | 
24 | 	vector<int> togs, vids, cl;
25 | 
26 | 	for (size_t j = 0; j < naux; ++j) {
27 | 		togs.push_back(0);
28 | 		vids.push_back(++top_id);
29 | 	}
30 | 
31 | 	for (size_t i = 0; i < vars.size(); ++i) {
32 | 		for (size_t j = 0; j < naux; ++j) {
33 | 			cl.push_back(-vars[i]);
34 | 			cl.push_back(togs[j] ? vids[j] : -vids[j]);
35 | 
36 | 			clset.create_clause(cl);
37 | 			cl.clear();
38 | 		}
39 | 
40 | 		for (int j = naux - 1; j >= 0; ) {
41 | 			if (togs[j] == 0) {
42 | 				togs[j] = 1;
43 | 				break;
44 | 			}
45 | 			else
46 | 				togs[j--] = 0;
47 | 		}
48 | 	}
49 | }
50 | 
51 | //
52 | //=============================================================================
53 | inline void bitwise_encode_atleast1(ClauseSet& clset, vector<int>& vars)
54 | {
55 | 	common_encode_atleast1(clset, vars);
56 | }
57 | 
58 | //
59 | //=============================================================================
60 | inline void bitwise_encode_equals1(
61 | 	int& top_id,
62 | 	ClauseSet& clset,
63 | 	vector<int>& vars
64 | )
65 | {
66 | 	bitwise_encode_atleast1(        clset, vars);
67 | 	bitwise_encode_atmost1 (top_id, clset, vars);
68 | }
69 | 
70 | #endif // BITWISE_HH_
71 | 


--------------------------------------------------------------------------------
/cardenc/card.hh:
--------------------------------------------------------------------------------
  1 | /*
  2 |  * card.hh (based on the 'card' library from BOLT)
  3 |  *
  4 |  *  Created on: Sep 25, 2017
  5 |  *      Author: aign
  6 |  */
  7 | 
  8 | #ifndef CARD_HH_
  9 | #define CARD_HH_
 10 | 
 11 | #include "bitwise.hh"
 12 | #include "clset.hh"
 13 | #include "ladder.hh"
 14 | #include "mto.hh"
 15 | #include "pairwise.hh"
 16 | #include "seqcounter.hh"
 17 | #include "sortcard.hh"
 18 | 
 19 | // supported types of cardinality encoding
 20 | //=============================================================================
 21 | enum EncType {
 22 | 	enc_exp   = 0,  // pairwise, only for bound == 1
 23 | 	enc_seqc  = 1,
 24 | 	enc_sortn = 2,
 25 | 	enc_cardn = 3,
 26 | 	enc_bitw  = 4,
 27 | 	enc_ladd  = 5,
 28 | 	enc_tot   = 6,
 29 | 	enc_mtot  = 7,
 30 | 	enc_kmtot = 8
 31 | };
 32 | 
 33 | //
 34 | //=============================================================================
 35 | static inline void _encode_atmost(
 36 | 	ClauseSet& dest,
 37 | 	vector<int>& lhs,
 38 | 	int rhs,
 39 | 	int& top,
 40 | 	int enc
 41 | )
 42 | {
 43 | 	if ((size_t)rhs >= lhs.size())           // nothing to encode
 44 | 		return;
 45 | 	else if ((size_t)rhs == lhs.size() - 1)  // atmost(n-1) is atleast1
 46 | 		common_encode_atmostNm1(dest, lhs);
 47 | 	else if (rhs == 0)                       // none of the literals can be true
 48 | 		common_encode_atmost0(dest, lhs);
 49 | 
 50 | 	// general case
 51 | 	else if (enc == enc_cardn)
 52 | 		cardn_encode_atmostN(top, dest, lhs, rhs);
 53 | 	else if (enc == enc_sortn)
 54 | 		sortn_encode_atmostN(top, dest, lhs, rhs);
 55 | 	else if (enc == enc_kmtot)
 56 | 		kmto_encode_atmostN(top, dest, lhs, rhs);
 57 | 	else if (enc == enc_mtot)
 58 | 		mto_encode_atmostN(top, dest, lhs, rhs);
 59 | 	else if (enc == enc_tot)
 60 | 		to_encode_atmostN(top, dest, lhs, rhs);
 61 | 	else if (enc == enc_seqc)
 62 | 		seqcounter_encode_atmostN(top, dest, lhs, rhs);
 63 | 
 64 | 	// special case of bitwise, pairwise, and ladder
 65 | 	else if (rhs == 1) {
 66 | 		if (enc == enc_bitw)
 67 | 			bitwise_encode_atmost1(top, dest, lhs);
 68 | 		else if (enc == enc_exp)
 69 | 			pairwise_encode_atmost1(dest, lhs);
 70 | 		else if (enc == enc_ladd)
 71 | 			ladder_encode_atmost1(top, dest, lhs);
 72 | 	}
 73 | }
 74 | 
 75 | //
 76 | //=============================================================================
 77 | static inline void _encode_atleast(
 78 | 	ClauseSet& dest,
 79 | 	vector<int>& lhs,
 80 | 	int rhs,
 81 | 	int& top,
 82 | 	int enc
 83 | )
 84 | {
 85 | 	if (rhs <= 0)                               // nothing to encode
 86 | 		return;
 87 | 	else if (rhs == 1)
 88 | 		common_encode_atleast1(dest, lhs);  // a single clause
 89 | 	else if ((unsigned)rhs == lhs.size())
 90 | 		common_encode_atleastN(dest, lhs);  // all literals must be true
 91 | 
 92 | 	// general case
 93 | 	else {
 94 | 		for (size_t i = 0; i < lhs.size(); ++i)
 95 | 			lhs[i] = -lhs[i];
 96 | 
 97 | 		rhs = lhs.size() - rhs;
 98 | 		_encode_atmost(dest, lhs, rhs, top, enc);
 99 | 	}
100 | }
101 | 
102 | #endif // CARD_HH_
103 | 


--------------------------------------------------------------------------------
/cardenc/clset.hh:
--------------------------------------------------------------------------------
  1 | /*
  2 |  * clset.hh
  3 |  *
  4 |  *  Created on: Nov 22, 2013
  5 |  *      Author: aign
  6 |  */
  7 | 
  8 | #ifndef CLSET_HH_
  9 | #define CLSET_HH_
 10 | 
 11 | #include <algorithm>
 12 | #include <vector>
 13 | #include <ostream>
 14 | 
 15 | using namespace std;
 16 | 
 17 | class ClauseSet {
 18 | public:
 19 | 	ClauseSet() : clauses(0) {}
 20 | 	ClauseSet(ClauseSet& orig) : clauses(orig.clauses) {}
 21 | 
 22 | 	void clear()
 23 | 	{
 24 | 		clauses.clear();
 25 | 	}
 26 | 
 27 | 	size_t size()
 28 | 	{
 29 | 		return clauses.size();
 30 | 	}
 31 | 
 32 | 	void resize(size_t sz_new)
 33 | 	{
 34 | 		return clauses.resize(sz_new);
 35 | 	}
 36 | 
 37 | 	vector<int>& operator[](size_t i)
 38 | 	{
 39 | 		return clauses[i];
 40 | 	}
 41 | 
 42 | 	void erase(vector<int>& cl)
 43 | 	{
 44 | 		clauses.erase(std::find(clauses.begin(), clauses.end(), cl));
 45 | 	}
 46 | 
 47 | 	void erase_subset(size_t start, ClauseSet& clset)
 48 | 	{
 49 | 		if (clset.size()) {
 50 | 			vector<int>& cl_first = clset[0];
 51 | 			vector<vector<int> >::iterator begin = std::find(clauses.begin() + start, clauses.end(), cl_first);
 52 | 			clauses.erase(begin, begin + clset.size());
 53 | 		}
 54 | 	}
 55 | 
 56 | 	vector<vector<int> >& get_clauses()
 57 | 	{
 58 | 		return clauses;
 59 | 	}
 60 | 
 61 | 	void add_clause(vector<int> cl)
 62 | 	{
 63 | 		clauses.push_back(cl);
 64 | 	}
 65 | 
 66 | 	void add_clause_ref(vector<int>& cl)
 67 | 	{
 68 | 		clauses.push_back(cl);
 69 | 	}
 70 | 
 71 | 	void create_clause(vector<int>& cl)
 72 | 	{
 73 | 		add_clause(cl);
 74 | 	}
 75 | 
 76 | 	void create_unit_clause(int l)
 77 | 	{
 78 | 		vector<int> cl; cl.push_back(l);
 79 | 		clauses.push_back(cl);
 80 | 	}
 81 | 
 82 | 	void create_binary_clause(int l1, int l2)
 83 | 	{
 84 | 		vector<int> cl;
 85 | 		cl.push_back(l1);
 86 | 		cl.push_back(l2);
 87 | 
 88 | 		clauses.push_back(cl);
 89 | 	}
 90 | 
 91 | 	void create_ternary_clause(int l1, int l2, int l3)
 92 | 	{
 93 | 		vector<int> cl;
 94 | 		cl.push_back(l1);
 95 | 		cl.push_back(l2);
 96 | 		cl.push_back(l3);
 97 | 
 98 | 		clauses.push_back(cl);
 99 | 	}
100 | 
101 | 	void dump(ostream& out)
102 | 	{
103 | 		for (size_t i = 0; i < clauses.size(); ++i)
104 | 			dump_clause(out, clauses[i]);
105 | 	}
106 | private:
107 | 	void dump_clause(ostream& out, vector<int>& cl)
108 | 	{
109 | 		for (size_t i = 0; i < cl.size(); ++i)
110 | 				out << cl[i] << " ";
111 | 		out << "0" << endl;
112 | 	}
113 | protected:
114 | 	vector<vector<int> > clauses;
115 | };
116 | 
117 | #endif // CLSET_HH_
118 | 


--------------------------------------------------------------------------------
/cardenc/common.hh:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * common.hh (based on the 'card' library from BOLT)
 3 |  *
 4 |  *  Created on: Sep 25, 2017
 5 |  *      Author: aign
 6 |  */
 7 | 
 8 | #ifndef CARDCOMMON_HH_
 9 | #define CARDCOMMON_HH_
10 | 
11 | #include "clset.hh"
12 | 
13 | using namespace std;
14 | 
15 | //
16 | //=============================================================================
17 | inline void common_encode_atleast1(ClauseSet& clset, vector<int>& vars)
18 | {
19 | 	vector<int> cl;
20 | 
21 | 	for (size_t i = 0; i < vars.size(); ++i)
22 | 		cl.push_back(vars[i]);
23 | 
24 | 	clset.create_clause(cl);
25 | }
26 | 
27 | //
28 | //=============================================================================
29 | inline void common_encode_atleastN(ClauseSet& clset, vector<int>& vars)
30 | {
31 | 	for (size_t i = 0; i < vars.size(); ++i) {
32 | 		vector<int> cl(1, vars[i]);
33 | 		clset.create_clause(cl);
34 | 	}
35 | }
36 | 
37 | //
38 | //=============================================================================
39 | inline void common_encode_atmost0(ClauseSet& clset, vector<int>& vars)
40 | {
41 | 	for (size_t i = 0; i < vars.size(); ++i) {
42 | 		vector<int> cl(1, -vars[i]);
43 | 		clset.create_clause(cl);
44 | 	}
45 | }
46 | 
47 | //
48 | //=============================================================================
49 | inline void common_encode_atmostNm1(ClauseSet& clset, vector<int>& vars)
50 | {
51 | 	vector<int> cl;
52 | 
53 | 	for (size_t i = 0; i < vars.size(); ++i)
54 | 		cl.push_back(-vars[i]);
55 | 
56 | 	clset.create_clause(cl);
57 | }
58 | 
59 | #endif // CARDCOMMON_HH_
60 | 


--------------------------------------------------------------------------------
/cardenc/ladder.hh:
--------------------------------------------------------------------------------
  1 | /*
  2 |  * ladder.hh (based on the 'card' library from BOLT)
  3 |  *
  4 |  *  Created on: Sep 25, 2017
  5 |  *      Author: aign
  6 |  */
  7 | 
  8 | #ifndef LADDER_HH_
  9 | #define LADDER_HH_
 10 | 
 11 | #include <cmath>
 12 | #include "common.hh"
 13 | 
 14 | //
 15 | //=============================================================================
 16 | inline void ladder_encode_equals1(
 17 | 	int& top_id,
 18 | 	ClauseSet& clset,
 19 | 	vector<int>& vars
 20 | )
 21 | {
 22 | 	size_t n = vars.size();
 23 | 	size_t p = n - 1;
 24 | 
 25 | 	if (n == 1) {
 26 | 		vector<int> cl(1, vars[0]);
 27 | 		clset.create_clause(cl);
 28 | 		return;
 29 | 	}
 30 | 
 31 | 	if (n == 2) {
 32 | 		vector<int> cl(2);
 33 | 		cl[0] = vars[0]; cl[1] = vars[1];
 34 | 		clset.create_clause(cl);
 35 | 
 36 | 		cl[0] = -vars[0]; cl[1] = -vars[1];
 37 | 		clset.create_clause(cl);
 38 | 		return;
 39 | 	}
 40 | 
 41 | 	vector<int> auxvars;
 42 | 	auxvars.push_back(0);
 43 | 
 44 | 	for (size_t j = 1; j <= p; ++j)
 45 | 		auxvars.push_back(++top_id);
 46 | 
 47 | 	vector<int> cl(2);
 48 | 
 49 | 	// validity clauses (-aux[i+1] v aux[i]) i:1..p-1
 50 | 	for (size_t i = 1; i < p; i++) {
 51 | 		cl[0] = -auxvars[i + 1];
 52 | 		cl[1] =  auxvars[i];
 53 | 		clset.create_clause(cl);
 54 | 	}
 55 | 
 56 | 	// channelling clauses ((aux[i-1] and not aux[i]) <=> x[i])
 57 | 	// i = 1
 58 | 	cl[0] = auxvars[1];
 59 | 	cl[1] = vars[0];
 60 | 	clset.create_clause(cl);
 61 | 
 62 | 	cl[0] = -vars[0];
 63 | 	cl[1] = -auxvars[1];
 64 | 	clset.create_clause(cl);
 65 | 
 66 | 	// 1 < i < n
 67 | 	for (size_t i = 2; i < n; i++) {
 68 | 		cl.resize(3);
 69 | 		cl[0] = -auxvars[i - 1];
 70 | 		cl[1] =  auxvars[i];
 71 | 		cl[2] =  vars   [i - 1];
 72 | 		clset.create_clause(cl);
 73 | 
 74 | 		cl.resize(2);
 75 | 		cl[0] =  auxvars[i - 1];
 76 | 		cl[1] = -vars   [i - 1];
 77 | 		clset.create_clause(cl);
 78 | 
 79 | 		cl[0] = -vars   [i - 1];
 80 | 		cl[1] = -auxvars[i];
 81 | 		clset.create_clause(cl);
 82 | 	}
 83 | 
 84 | 	// i = n
 85 | 	cl[0] = -auxvars[n - 1];
 86 | 	cl[1] =  vars   [n - 1];
 87 | 	clset.create_clause(cl);
 88 | 
 89 | 	cl[0] = -vars   [n - 1];
 90 | 	cl[1] =  auxvars[n - 1];
 91 | 	clset.create_clause(cl);
 92 | }
 93 | 
 94 | //
 95 | //=============================================================================
 96 | inline void ladder_encode_atmost1(
 97 | 	int& top_id,
 98 | 	ClauseSet& clset,
 99 | 	vector<int>& vars
100 | )
101 | {
102 | 	int extra = ++top_id;
103 | 
104 | 	vector<int> new_vars;
105 | 	new_vars.resize(vars.size() + 1);
106 | 
107 | 	for (size_t i = 0; i < vars.size(); i++)
108 | 		new_vars[i] = vars[i];
109 | 
110 | 	new_vars[vars.size()] = extra;
111 | 	ladder_encode_equals1(top_id, clset, new_vars);
112 | }
113 | 
114 | //
115 | //=============================================================================
116 | inline void ladder_encode_atleast1(ClauseSet& clset, vector<int>& vars)
117 | {
118 | 	common_encode_atleast1(clset, vars);
119 | }
120 | 
121 | #endif // LADDER_HH_
122 | 


--------------------------------------------------------------------------------
/cardenc/pairwise.hh:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * pairwise.hh (based on the 'card' library from BOLT)
 3 |  *
 4 |  *  Created on: Sep 25, 2017
 5 |  *      Author: aign
 6 |  */
 7 | 
 8 | #ifndef PAIRWISE_HH_
 9 | #define PAIRWISE_HH_
10 | 
11 | #include "common.hh"
12 | 
13 | //
14 | //=============================================================================
15 | inline void pairwise_encode_atmost1(ClauseSet& clset, vector<int>& vars)
16 | {
17 | 	vector<int> cl; cl.resize(2);
18 | 
19 | 	for (size_t i = 0; i < vars.size(); ++i) {
20 | 		for (size_t j = i + 1; j< vars.size(); ++j) {
21 | 			cl[0] = -vars[i];
22 | 			cl[1] = -vars[j];
23 | 
24 | 			clset.create_clause(cl);
25 | 		}
26 | 	}
27 | }
28 | 
29 | //
30 | //=============================================================================
31 | inline void pairwise_encode_atleast1(ClauseSet& clset, vector<int>& vars)
32 | {
33 | 	common_encode_atleast1(clset, vars);
34 | }
35 | 
36 | //
37 | //=============================================================================
38 | inline void pairwise_encode_equals1(ClauseSet& clset, vector<int>& vars)
39 | {
40 | 	pairwise_encode_atleast1(clset, vars);
41 | 	pairwise_encode_atmost1 (clset, vars);
42 | }
43 | 
44 | #endif // PAIRWISE_HH_
45 | 


--------------------------------------------------------------------------------
/cardenc/ptypes.hh:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * ptypes.hh (based on the 'card' library from BOLT)
 3 |  *
 4 |  *  Created on: Sep 25, 2017
 5 |  *      Author: aign
 6 |  */
 7 | 
 8 | #ifndef PTYPES_HH_
 9 | #define PTYPES_HH_
10 | 
11 | #include <unordered_map>
12 | 
13 | using namespace std;
14 | 
15 | //
16 | //=============================================================================
17 | typedef pair<int, int> IntPair;
18 | 
19 | //
20 | //=============================================================================
21 | class IntPairHash {
22 | public:
23 | 	int operator() (IntPair pval) const
24 | 	{
25 | 		return pval.first * pval.second;
26 | 	}
27 | };
28 | 
29 | //
30 | //=============================================================================
31 | class IntPairEqual {
32 | public:
33 | 	bool operator() (IntPair p1, IntPair p2) const
34 | 	{
35 | 		return p1.first == p2.first && p1.second == p2.second;
36 | 	}
37 | };
38 | 
39 | //
40 | //=============================================================================
41 | typedef unordered_map<IntPair, int, IntPairHash, IntPairEqual> Pair2IntMap;
42 | 
43 | #endif // PTYPES_HH_
44 | 


--------------------------------------------------------------------------------
/docs/.nojekyll:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/docs/.nojekyll


--------------------------------------------------------------------------------
/docs/Makefile:
--------------------------------------------------------------------------------
 1 | # Minimal makefile for Sphinx documentation
 2 | #
 3 | 
 4 | # You can set these variables from the command line.
 5 | SPHINXOPTS    =
 6 | SPHINXBUILD   = sphinx-build
 7 | SPHINXPROJ    = PySAT
 8 | SOURCEDIR     = .
 9 | BUILDDIR      = _build
10 | 
11 | # Put it first so that "make" without argument is like "make help".
12 | help:
13 | 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
14 | 
15 | .PHONY: help Makefile
16 | 
17 | # Catch-all target: route all unknown targets to Sphinx using the new
18 | # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
19 | %: Makefile
20 | 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)


--------------------------------------------------------------------------------
/docs/_static/favicon.ico:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/docs/_static/favicon.ico


--------------------------------------------------------------------------------
/docs/_static/pysat.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/docs/_static/pysat.png


--------------------------------------------------------------------------------
/docs/_templates/sidebar_contact.html:
--------------------------------------------------------------------------------
 1 | {%- block contact %}
 2 | </br>
 3 | <div class="sidebarblock">
 4 | <h4>{{ _('Contact us:') }}</h4>
 5 |       <a class="reference external" href="https://github.com/pysathq/pysat/issues">
 6 |             Issue tracker
 7 |       </a>
 8 |       |
 9 |       <a class="reference external" href="mailto:pysathq@gmail.com">
10 |           Email
11 |       </a>
12 | </div>
13 | {%- endblock %}
14 | 


--------------------------------------------------------------------------------
/docs/_templates/sidebar_version.html:
--------------------------------------------------------------------------------
 1 | {%- block version %}
 2 | <div class="sidebarblock">
 3 |     <div class="tile">
 4 |     <h4>Latest version:</h4>
 5 |     {{ release }} (<a href="https://github.com/pysathq/pysat">GitHub</a>)
 6 |     </div>
 7 |     </br>
 8 | </div>
 9 | {%- endblock %}
10 | 


--------------------------------------------------------------------------------
/docs/_templates/sidebar_webpage.html:
--------------------------------------------------------------------------------
1 | {%- block version %}
2 | <div class="sidebarblock">
3 |     <div class="tile">
4 |     <h4><a href="{{ webpage }}">Main webpage</a></h4>
5 |     </div>
6 | </div>
7 | {%- endblock %}
8 | 


--------------------------------------------------------------------------------
/docs/_templates/version.html:
--------------------------------------------------------------------------------
1 | <!-- This will display the version of the docs -->
2 | <a href={{ docpage }}><strong>{{ project }} Documentation (version {{ release }})</strong></a>
3 | 


--------------------------------------------------------------------------------
/docs/api/allies/approxmc.rst:
--------------------------------------------------------------------------------
 1 | ApproxMC model counter (:mod:`pysat.allies.approxmc`)
 2 | =====================================================
 3 | 
 4 | .. automodule:: allies.approxmc
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: parse_options, usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/allies/unigen.rst:
--------------------------------------------------------------------------------
 1 | UniGen almost-uniform sampler (:mod:`pysat.allies.unigen`)
 2 | ==========================================================
 3 | 
 4 | .. automodule:: allies.unigen
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: parse_options, usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/card.rst:
--------------------------------------------------------------------------------
1 | Cardinality encodings (:mod:`pysat.card`)
2 | =========================================
3 | 
4 | .. automodule:: pysat.card
5 |     :members:
6 |     :inherited-members:
7 |     :no-special-members:
8 | 
9 | 


--------------------------------------------------------------------------------
/docs/api/engines.rst:
--------------------------------------------------------------------------------
 1 | External engines (:mod:`pysat.engines`)
 2 | =======================================
 3 | 
 4 | .. automodule:: pysat.engines
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :exclude-members: ParityConstraint
 9 | 
10 | 


--------------------------------------------------------------------------------
/docs/api/examples/fm.rst:
--------------------------------------------------------------------------------
 1 | Fu&Malik MaxSAT algorithm (:mod:`pysat.examples.fm`)
 2 | ====================================================
 3 | 
 4 | .. automodule:: examples.fm
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: parse_options, usage
10 | 


--------------------------------------------------------------------------------
/docs/api/examples/genhard.rst:
--------------------------------------------------------------------------------
1 | Hard formula generator (:mod:`pysat.examples.genhard`)
2 | ======================================================
3 | 
4 | .. automodule:: examples.genhard
5 |     :members:
6 |     :no-special-members:
7 |     :exclude-members: parse_options, usage
8 | 


--------------------------------------------------------------------------------
/docs/api/examples/hitman.rst:
--------------------------------------------------------------------------------
1 | Minimum/minimal hitting set solver (:mod:`pysat.examples.hitman`)
2 | =================================================================
3 | 
4 | .. automodule:: examples.hitman
5 |     :members:
6 |     :inherited-members:
7 |     :no-special-members:
8 | 
9 | 


--------------------------------------------------------------------------------
/docs/api/examples/lbx.rst:
--------------------------------------------------------------------------------
 1 | LBX-like MCS enumerator (:mod:`pysat.examples.lbx`)
 2 | ===================================================
 3 | 
 4 | .. automodule:: examples.lbx
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: LBXPlus, parse_options, usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/examples/lsu.rst:
--------------------------------------------------------------------------------
 1 | LSU algorithm for MaxSAT (:mod:`pysat.examples.lsu`)
 2 | ====================================================
 3 | 
 4 | .. automodule:: examples.lsu
 5 |     :members:
 6 |     :no-inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: parse_options, print_usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/examples/mcsls.rst:
--------------------------------------------------------------------------------
 1 | CLD-like MCS enumerator (:mod:`pysat.examples.mcsls`)
 2 | =====================================================
 3 | 
 4 | .. automodule:: examples.mcsls
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: MCSlsPlus, parse_options, usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/examples/models.rst:
--------------------------------------------------------------------------------
 1 | An iterative model enumerator (:mod:`pysat.examples.models`)
 2 | ============================================================
 3 | 
 4 | .. automodule:: examples.models
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: parse_options, usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/examples/musx.rst:
--------------------------------------------------------------------------------
 1 | A deletion-based MUS extractor (:mod:`pysat.examples.musx`)
 2 | ===========================================================
 3 | 
 4 | .. automodule:: examples.musx
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :private-members:
 9 |     :exclude-members: parse_options, usage
10 | 
11 | 


--------------------------------------------------------------------------------
/docs/api/examples/optux.rst:
--------------------------------------------------------------------------------
1 | OptUx optimal MUS enumerator (:mod:`pysat.examples.optux`)
2 | ==========================================================
3 | 
4 | .. automodule:: examples.optux
5 |     :members:
6 |     :no-special-members:
7 |     :private-members:
8 |     :exclude-members: parse_options, usage
9 | 


--------------------------------------------------------------------------------
/docs/api/examples/rc2.rst:
--------------------------------------------------------------------------------
1 | RC2 MaxSAT solver (:mod:`pysat.examples.rc2`)
2 | =============================================
3 | 
4 | .. automodule:: examples.rc2
5 |     :members:
6 |     :no-special-members:
7 |     :private-members:
8 |     :exclude-members: parse_options, usage
9 | 


--------------------------------------------------------------------------------
/docs/api/formula.rst:
--------------------------------------------------------------------------------
1 | Boolean formula manipulation (:mod:`pysat.formula`)
2 | ===================================================
3 | 
4 | .. automodule:: pysat.formula
5 |     :members:
6 |     :no-special-members:
7 | 


--------------------------------------------------------------------------------
/docs/api/pb.rst:
--------------------------------------------------------------------------------
1 | Pseudo-Boolean encodings (:mod:`pysat.pb`)
2 | ==========================================
3 | 
4 | .. automodule:: pysat.pb
5 |     :members:
6 |     :inherited-members:
7 |     :no-special-members:
8 | 
9 | 


--------------------------------------------------------------------------------
/docs/api/process.rst:
--------------------------------------------------------------------------------
1 | Formula processing (:mod:`pysat.process`)
2 | =========================================
3 | 
4 | .. automodule:: pysat.process
5 |     :members:
6 |     :inherited-members:
7 |     :no-special-members:
8 | 
9 | 


--------------------------------------------------------------------------------
/docs/api/solvers.rst:
--------------------------------------------------------------------------------
 1 | SAT solvers' API (:mod:`pysat.solvers`)
 2 | =======================================
 3 | 
 4 | .. automodule:: pysat.solvers
 5 |     :members:
 6 |     :inherited-members:
 7 |     :no-special-members:
 8 |     :exclude-members: Cadical103, Cadical153, Cadical195, CryptoMinisat, Gluecard3, Gluecard4, Glucose3, Glucose4, Glucose42, Lingeling, MapleChrono, MapleCM, Maplesat, Mergesat3, Minicard, Minisat22, MinisatGH
 9 | 
10 | 


--------------------------------------------------------------------------------
/docs/index.rst:
--------------------------------------------------------------------------------
 1 | =================================
 2 | Welcome to PySAT's documentation!
 3 | =================================
 4 | 
 5 | This site covers the usage and API documentation of the PySAT toolkit. For the
 6 | basic information on what PySAT is, please, see `the main project website
 7 | <https://pysathq.github.io>`__.
 8 | 
 9 | API documentation
10 | =================
11 | 
12 | The PySAT toolkit has five core modules: :mod:`.card`, :mod:`.formula`,
13 | :mod:`.pb`, :mod:`.process` and :mod:`.solvers`. The four of them
14 | (:mod:`.card`, :mod:`.pb`, :mod:`.process` and :mod:`.solvers`) are Python
15 | wrappers for the code originally implemented in the C/C++ languages while the
16 | :mod:`.formula` module is a *pure* Python module. Version *0.1.4.dev0* of
17 | PySAT brings a new module called :mod:`.pb`, which is a wrapper for the basic
18 | functionality of a third-party library `PyPBLib
19 | <https://pypi.org/project/pypblib/>`__ developed by the `Logic Optimization
20 | Group <http://ulog.udl.cat/>`__ of the University of Lleida.
21 | 
22 | A supplementary sixth module :mod:`.examples` presents a list of scripts,
23 | which are supposed to demonstrate how the toolkit can be used for practical
24 | problem solving. The module includes a formula generator, several MaxSAT
25 | solvers including an award-winning RC2, a few (S)MUS extractors and
26 | enumerators as well as MCS enumerators, among other scripts.
27 | 
28 | Finally, an additional seventh module :mod:`.allies` brought by version
29 | *0.1.8.dev3* is meant to provide access to a number of third-party tools
30 | important for practical SAT-based problem solving.
31 | 
32 | Core PySAT modules
33 | ------------------
34 | 
35 | .. toctree::
36 |     :maxdepth: 3
37 | 
38 |     api/card
39 |     api/formula
40 |     api/engines
41 |     api/pb
42 |     api/process
43 |     api/solvers
44 | 
45 | Supplementary :mod:`.examples` package
46 | --------------------------------------
47 | 
48 | .. toctree::
49 |     api/examples/fm
50 |     api/examples/genhard
51 |     api/examples/hitman
52 |     api/examples/lbx
53 |     api/examples/lsu
54 |     api/examples/mcsls
55 |     api/examples/models
56 |     api/examples/musx
57 |     api/examples/optux
58 |     api/examples/rc2
59 | 
60 | Supplementary :mod:`.allies` package
61 | ------------------------------------
62 | 
63 | This module provides interface to a list of external tools useful in practical
64 | SAT-based problem solving. Although only ApproxMCv4 is currently present here,
65 | the list of tools will grow.
66 | 
67 | .. toctree::
68 |     api/allies/approxmc
69 |     api/allies/unigen
70 | 


--------------------------------------------------------------------------------
/docs/requirements.txt:
--------------------------------------------------------------------------------
1 | sphinx
2 | pydata_sphinx_theme==0.8.1
3 | 


--------------------------------------------------------------------------------
/examples/__init__.py:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/examples/__init__.py


--------------------------------------------------------------------------------
/examples/usage.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | #-*- coding:utf-8 -*-
 3 | ##
 4 | ## usage.py
 5 | ##
 6 | ##  Created on: Nov 27, 2016
 7 | ##      Author: Alexey S. Ignatiev
 8 | ##      E-mail: aignatiev@ciencias.ulisboa.pt
 9 | ##
10 | 
11 | #
12 | #==============================================================================
13 | from __future__ import print_function
14 | from pysat.solvers import Solver  # standard way to import the library
15 | from pysat.solvers import Minisat22, Glucose3  # more direct way
16 | 
17 | #
18 | #==============================================================================
19 | if __name__ == '__main__':
20 |     print('simple infrastructure (add_clause, solve):')
21 |     s1 = Solver(name='g3')
22 |     s1.add_clause([-1, 2])
23 |     s1.add_clause([-2, 3])
24 |     s1.add_clause([-3, 4])
25 | 
26 |     if s1.solve() == True:
27 |         print(s1.get_model())
28 | 
29 |     print('blocking models:')
30 |     m = s1.get_model()
31 |     s1.add_clause([-l for l in m])  # actual blocking
32 | 
33 |     if s1.solve() == True:
34 |         print(s1.get_model())  # should compute another model
35 |     s1.delete()  # this is needed if used not within the 'with' context
36 | 
37 |     print('model enumeration + bootstrapping the solver:')
38 |     s2 = Minisat22(bootstrap_with=[[-1, 2], [-2, 3], [-3, 4]])  # also working with MiniSat22 directly
39 |     for m in s2.enum_models():  # implemented as a generator
40 |         print(m)
41 |     s2.delete()
42 | 
43 |     print('\'with\' constructor + assumptions:')
44 |     with Solver(name='mgh', bootstrap_with=[[-1, 2], [-2, 3], [-3, 4]]) as s3:
45 |         for m in s3.enum_models(assumptions=[5]):
46 |             print(m)
47 | 
48 |         # no s3.delete() is needed -- it is called automatically if used in the 'with' environment
49 | 
50 |     print('appending formula and extracting an unsat core:')
51 |     with Glucose3(bootstrap_with=[[-1, 2], [-2, 3]]) as s4:
52 |         s4.append_formula([[-3, 4], [-4, 5]])
53 | 
54 |         if s4.solve(assumptions=[1, -5]) == False:
55 |             print(s4.get_core())
56 | 
57 |         # no s4.delete() is needed -- it is called automatically if used in the 'with' environment
58 | 
59 |     print('extracting a proof:')  # supported by glucose and lingeling only
60 |     with Glucose3(bootstrap_with=[[-1, 2], [1, -2], [-1, -2], [1, 2]], with_proof=True) as s5:
61 | 
62 |         if s5.solve() == False:
63 |             print(s5.get_proof())
64 | 


--------------------------------------------------------------------------------
/pysat/__init__.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | #-*- coding:utf-8 -*-
 3 | ##
 4 | ## __init__.py
 5 | ##
 6 | ##  Created on: Mar 4, 2017
 7 | ##      Author: Alexey S. Ignatiev
 8 | ##      E-mail: aignatiev@ciencias.ulisboa.pt
 9 | ##
10 | 
11 | # current version
12 | #==============================================================================
13 | VERSION = (1, 8, 'dev', 17)
14 | 
15 | 
16 | # PEP440 Format
17 | #==============================================================================
18 | __version__ = '%d.%d.%s%d' % VERSION if len(VERSION) == 4 else \
19 |               '%d.%d.%d' % VERSION
20 | 
21 | 
22 | # all submodules
23 | #==============================================================================
24 | __all__ = ['card', 'engines', 'formula', 'pb', 'process', 'solvers']
25 | 


--------------------------------------------------------------------------------
/pysat/_utils.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | #-*- coding:utf-8 -*-
 3 | ##
 4 | ## _utils.py
 5 | ##
 6 | ##  Created on: Nov 27, 2019
 7 | ##      Author: Alexey S. Ignatiev
 8 | ##      E-mail: aignatiev@ciencias.ulisboa.pt
 9 | ##
10 | 
11 | """
12 |     ===============
13 |     List of classes
14 |     ===============
15 | 
16 |     .. autosummary::
17 |         :nosignatures:
18 | 
19 |         MainThread
20 | 
21 |     ==================
22 |     Module description
23 |     ==================
24 | 
25 |     This simple module is supposed to implement auxiliary classes and routines
26 |     that are used by the other (main) modules of PySAT.
27 | 
28 |     ==============
29 |     Module details
30 |     ==============
31 | """
32 | 
33 | #
34 | #==============================================================================
35 | import threading
36 | 
37 | 
38 | #
39 | #==============================================================================
40 | class MainThread(object):
41 |     """
42 |         A dummy class for checking whether the current thread is the main one.
43 |         This is currently necessary for proper signal handling when making
44 |         oracle calls and creating cardinality encodings.
45 |     """
46 | 
47 |     @staticmethod
48 |     def check():
49 |         """
50 |             The actual checker.
51 |         """
52 | 
53 |         try:  # for Python > 3.4
54 |             res = threading.current_thread() is threading.main_thread()
55 |         except AttributeError:
56 |             res = isinstance(threading.current_thread(), threading._MainThread)
57 | 
58 |         return res
59 | 


--------------------------------------------------------------------------------
/readthedocs.yml:
--------------------------------------------------------------------------------
 1 | version: 2
 2 | 
 3 | sphinx:
 4 |   configuration: docs/conf.py
 5 | 
 6 | python:
 7 |     version: 3
 8 |     install:
 9 |         - requirements: docs/requirements.txt
10 | 


--------------------------------------------------------------------------------
/requirements.txt:
--------------------------------------------------------------------------------
1 | py-aiger-cnf>=2.0.0
2 | pypblib>=0.0.3
3 | six
4 | 


--------------------------------------------------------------------------------
/setup.cfg:
--------------------------------------------------------------------------------
1 | [metadata]
2 | description_file = README.rst
3 | license_files = LICENSE.txt
4 | 


--------------------------------------------------------------------------------
/solvers/cadical103.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/cadical103.tar.gz


--------------------------------------------------------------------------------
/solvers/cadical153.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/cadical153.tar.gz


--------------------------------------------------------------------------------
/solvers/cadical195.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/cadical195.tar.gz


--------------------------------------------------------------------------------
/solvers/genpatches.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | #-*- coding:utf-8 -*-
 3 | ##
 4 | ## genpatches.py
 5 | ##
 6 | ##  Created on: Dec 2, 2019
 7 | ##      Author: Rüdiger Jungbeck
 8 | ##      E-mail: ruediger.jungbeck@rsj.de
 9 | ##
10 | 
11 | #
12 | #==============================================================================
13 | import argparse
14 | import os
15 | import contextlib
16 | import platform
17 | import shutil
18 | import glob
19 | import prepare
20 | 
21 | 
22 | # solvers to install
23 | #==============================================================================
24 | to_install = ['cadical103', 'cadical153', 'gluecard30', 'gluecard41',
25 |               'glucose30', 'glucose41', 'glucose421', 'lingeling', 'maplechrono', 'maplecm',
26 |               'maplesat', 'mergesat3', 'minicard', 'minisat22', 'minisatgh']
27 | 
28 | 
29 | #
30 | #==============================================================================
31 | @contextlib.contextmanager
32 | def chdir(new_dir):
33 |     old_dir = os.getcwd()
34 |     try:
35 |         os.chdir(new_dir)
36 |         yield
37 |     finally:
38 |         os.chdir(old_dir)
39 | 
40 | 
41 | #
42 | #==============================================================================
43 | def execute(cmd):
44 |     if platform.system() == 'Windows':
45 |         cmd = 'wsl ' + cmd
46 |     print(cmd)
47 | 
48 |     os.system(cmd)
49 | 
50 | 
51 | #
52 | #==============================================================================
53 | def main():
54 |     parser = argparse.ArgumentParser(description='Diff Generator',
55 |                                    formatter_class=argparse.ArgumentDefaultsHelpFormatter)
56 |     parms = parser.parse_args()
57 | 
58 |     shutil.rmtree('build/solvers', ignore_errors=True)
59 | 
60 |     file_types = ['*.obj', '*.o', '*.a'] # *.o and *.a are required for Glucose421
61 |     with chdir('solvers'):
62 |         for solver in to_install:
63 |             with chdir(solver):
64 |                 for ft in file_types:
65 |                     for filename in glob.glob("**/" + ft, recursive = True):
66 |                         os.unlink(filename)
67 | 
68 |     shutil.copytree('solvers', 'build/solvers')
69 | 
70 |     for solver in to_install:
71 |         print('preparing {0}'.format(solver))
72 | 
73 |         with chdir('build'):
74 | 
75 |             prepare.download_archive(prepare.sources[solver])
76 |             prepare.extract_archive(prepare.sources[solver][-1], solver)
77 |             prepare.adapt_files(solver)
78 | 
79 |         execute('diff -Naur build/solvers/%s solvers/%s > solvers/patches/%s.patch' % (solver, solver, solver,))
80 | 
81 | 
82 | #
83 | #==============================================================================
84 | if __name__ == '__main__':
85 |     main()
86 | 


--------------------------------------------------------------------------------
/solvers/glucose30.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/glucose30.tar.gz


--------------------------------------------------------------------------------
/solvers/glucose41.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/glucose41.tar.gz


--------------------------------------------------------------------------------
/solvers/glucose421.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/glucose421.tar.gz


--------------------------------------------------------------------------------
/solvers/lingeling.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/lingeling.tar.gz


--------------------------------------------------------------------------------
/solvers/maplechrono.zip:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/maplechrono.zip


--------------------------------------------------------------------------------
/solvers/maplecm.zip:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/maplecm.zip


--------------------------------------------------------------------------------
/solvers/maplesat.zip:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/maplesat.zip


--------------------------------------------------------------------------------
/solvers/mergesat3.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/mergesat3.tar.gz


--------------------------------------------------------------------------------
/solvers/minicard.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/minicard.tar.gz


--------------------------------------------------------------------------------
/solvers/minisat22.tar.gz:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/minisat22.tar.gz


--------------------------------------------------------------------------------
/solvers/minisatgh.zip:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/solvers/minisatgh.zip


--------------------------------------------------------------------------------
/tests/test_accum_stats.py:
--------------------------------------------------------------------------------
 1 | from pysat.solvers import Solver
 2 | from pysat.formula import CNF
 3 | 
 4 | solvers = ['cadical103',
 5 |            'cadical153',
 6 |            'gluecard30',
 7 |            'gluecard41',
 8 |            'glucose30',
 9 |            'glucose42',
10 |            'lingeling',
11 |            'maplechrono',
12 |            'maplecm',
13 |            'maplesat',
14 |            'mergesat3',
15 |            'minicard',
16 |            'minisat22',
17 |            'minisat-gh']
18 | 
19 | def test_solvers():
20 |     cnf = CNF(from_clauses=[[1, 2, 3], [-1, 2], [-2]])
21 | 
22 |     for name in solvers:
23 |         print("Name = {}".format(name))
24 |         with Solver(name=name, bootstrap_with=cnf) as solver:
25 |             solver.solve()
26 |             stats = solver.accum_stats()
27 |             assert 'conflicts' in stats, 'No conflicts for {0}'.format(name)
28 |             assert 'decisions' in stats, 'No decisions for {0}'.format(name)
29 |             assert 'propagations' in stats, 'No propagations for {0}'.format(name)
30 |             assert 'restarts' in stats, 'No restarts for {0}'.format(name)
31 | 


--------------------------------------------------------------------------------
/tests/test_atmost.py:
--------------------------------------------------------------------------------
 1 | from pysat.formula import IDPool
 2 | from pysat.card import CardEnc
 3 | 
 4 | def test_atmost():
 5 |     vp = IDPool()
 6 |     n = 20
 7 |     b = 50
 8 |     assert n <= b
 9 | 
10 |     lits = [vp.id(v) for v in range(1, n + 1)]
11 |     top = vp.top
12 | 
13 |     G = CardEnc.atmost(lits, b, vpool=vp)
14 | 
15 |     assert len(G.clauses) == 0
16 | 
17 |     try:
18 |         assert vp.top >= top
19 |     except AssertionError as e:
20 |         print(f"\nvp.top = {vp.top} (expected >= {top})\n")
21 |         raise e
22 | 


--------------------------------------------------------------------------------
/tests/test_atmost1.py:
--------------------------------------------------------------------------------
 1 | from pysat.formula import IDPool
 2 | from pysat.card import CardEnc, EncType
 3 | from pysat.solvers import MinisatGH
 4 | 
 5 | def test_atmost1():
 6 |     encs = list(filter(lambda name: not name.startswith('__') and name != 'native', dir(EncType)))
 7 |     for l in range(10, 20):
 8 |         for e in encs:
 9 |             cnf = CardEnc.atmost(lits=list(range(1, l + 1)), bound=1, encoding=getattr(EncType, e))
10 | 
11 |             # enumerating all models
12 |             with MinisatGH(bootstrap_with=cnf) as solver:
13 |                 for num, model in enumerate(solver.enum_models(), 1):
14 |                     solver.add_clause([-l for l in model[:l]])
15 | 
16 |             assert num == l + 1, 'wrong number of models for AtMost-1-of-{0} ({1})'.format(l, e)
17 | 


--------------------------------------------------------------------------------
/tests/test_atmostk.py:
--------------------------------------------------------------------------------
 1 | import math
 2 | from pysat.formula import IDPool
 3 | from pysat.card import CardEnc, EncType
 4 | from pysat.solvers import MinisatGH
 5 | 
 6 | encs = ['seqcounter', 'sortnetwrk', 'cardnetwrk', 'totalizer', 'mtotalizer',
 7 |         'kmtotalizer']
 8 | 
 9 | 
10 | def bincoeff(n, k):
11 |     n_fac = math.factorial(n)
12 |     k_fac = math.factorial(k)
13 |     n_minus_k_fac = math.factorial(n - k)
14 |     return int(n_fac / (k_fac * n_minus_k_fac))
15 | 
16 | 
17 | def test_atmostk():
18 |     for l in range(5, 10):
19 |         for k in range(2, l):
20 |             for e in encs:
21 |                 cnf = CardEnc.atmost(lits=list(range(1, l + 1)), bound=k, encoding=getattr(EncType, e))
22 | 
23 |                 # enumerating all models
24 |                 with MinisatGH(bootstrap_with=cnf) as solver:
25 |                     for num, model in enumerate(solver.enum_models(), 1):
26 |                         solver.add_clause([-l for l in model[:l]])
27 | 
28 |                 assert num == sum([bincoeff(l, o + 1) for o in range(k)]) + 1, 'wrong number of models for AtMost-{0}-of-{1} ({2})'.format(k, l, e)
29 | 


--------------------------------------------------------------------------------
/tests/test_boolengine.py:
--------------------------------------------------------------------------------
 1 | from pysat.card import *
 2 | from pysat.engines import *
 3 | from pysat.formula import CNF
 4 | from pysat.solvers import Solver
 5 | 
 6 | def test_propagate():
 7 |         cnf = CNF()
 8 |         leq1 = CardEnc.atmost(list(range(1, 6)), bound=2, encoding=EncType.native)
 9 |         leq1 = [leq1.atmosts[0][0], leq1.atmosts[0][1]]
10 | 
11 |         leq2 = CardEnc.atleast(list(range(1, 6)), bound=1, encoding=EncType.native)
12 |         leq2 = [leq2.atmosts[0][0], leq2.atmosts[0][1]]
13 | 
14 |         with Solver(name='cadical195', bootstrap_with=cnf) as solver:
15 |             engine = BooleanEngine([('linear', leq1), ('linear', leq2)], adaptive=True)
16 |             solver.connect_propagator(engine)
17 |             engine.setup_observe(solver)
18 |             n1 = 0
19 |             for model in solver.enum_models():
20 |                 n1 += 1
21 | 
22 |         vpool = IDPool()
23 |         cnf = CardEnc.atmost(list(range(1, 6)), bound=2, vpool=vpool, encoding=EncType.kmtotalizer)
24 |         cnf.extend(CardEnc.atleast(list(range(1, 6)), bound=1, vpool=vpool, encoding=EncType.kmtotalizer))
25 | 
26 |         with Solver(name='cadical195', bootstrap_with=cnf) as solver:
27 |             n2 = 0
28 |             for model in solver.enum_models():
29 |                 solver.add_clause([-l for l in model[:5]])
30 |                 n2 += 1
31 | 
32 |         assert n1 == n2, 'Wrong number of models from the propagator'
33 | 


--------------------------------------------------------------------------------
/tests/test_clausification.py:
--------------------------------------------------------------------------------
 1 | from pysat.formula import Atom, Formula, And, Or, Neg, XOr
 2 | 
 3 | 
 4 | def compare(a, b):
 5 |     assert tuple(map(tuple, a)) == tuple(map(tuple, b)), f'{a} != {b}'
 6 | 
 7 | 
 8 | def test_clausification():
 9 |     # reset vpool
10 |     Formula.cleanup()
11 | 
12 |     # Atom outermost
13 |     compare(list(Atom('1')), [[1]])
14 | 
15 |     # Neg outermost clauses
16 |     compare(list(Neg(Atom('1'))), [[-1]])
17 | 
18 |     compare(list(Neg(And(Atom('1'), Atom('2')))), [[1, -3], [2, -3], [3, -1, -2], [-3]])
19 | 
20 |     # Neg inner clauses
21 |     compare(list(Or(Neg(And(Atom('1'), Atom('2'))), Atom('3'))),
22 |             [[1, -3], [2, -3], [3, -1, -2], [-3, 4]])
23 |     compare(list(Or(Atom('1'), Neg(Atom('2')), Neg(Atom('2')))), [[1, -2, -2]])
24 | 
25 |     # XOr outermost
26 |     compare(list(XOr(Atom('1'), Atom('2'))), [[-1, -2], [1, 2]])
27 |     compare(list(XOr(Atom('1'), Atom('2'), Atom('3'))), [[-2, -4, -5], [2, 4, -5], [5, -2, 4], [5, 2, -4],
28 |                                                          [-1, -5], [1, 5]])
29 | 
30 |     # XOr inner
31 |     compare(list(And(XOr(Atom('1'), Atom('2'), Atom('3')), Atom('4'))), [[-2, -4, -5], [2, 4, -5],
32 |                                                                          [5, -2, 4], [5, 2, -4], [-1, -5, -6],
33 |                                                                          [1, 5, -6], [6, -1, 5], [6, 1, -5], [6], [7]])
34 | 
35 |     # multiple successive inner/outermost clausification
36 |     f = And(Atom('1'), Atom('2'))
37 |     g = And(f, Atom('3'))
38 |     compare(list(f), [[1], [2]])
39 |     compare(list(g), [[1, -3], [2, -3], [3, -1, -2], [3], [4]])
40 |     compare(list(f), [[1], [2]])
41 |     compare(list(g), [[1, -3], [2, -3], [3, -1, -2], [3], [4]])
42 | 


--------------------------------------------------------------------------------
/tests/test_cnf.py:
--------------------------------------------------------------------------------
 1 | import pytest
 2 | from pysat.card import *
 3 | from pysat.formula import CNFPlus
 4 | from pysat.solvers import Solver, SolverNames
 5 | 
 6 | # all available solvers
 7 | solvers = ['cadical103',
 8 |            'cadical153',
 9 |            'gluecard30',
10 |            'gluecard41',
11 |            'glucose30',
12 |            'glucose41',
13 |            'glucose42',
14 |            'lingeling',
15 |            'maplechrono',
16 |            'maplecm',
17 |            'maplesat',
18 |            'mergesat3',
19 |            'minicard',
20 |            'minisat22',
21 |            'minisat-gh']
22 | 
23 | # CNF+ formula with native atmost1 constraint
24 | cnf1 = CardEnc.atmost(lits=range(1, 6), bound=1, encoding=EncType.native)
25 | cnf1.append(range(1, 6))  # at least 1
26 | 
27 | # just a normal CNF formula
28 | cnf2 = CardEnc.atmost(lits=range(1, 6), bound=1, encoding=EncType.seqcounter)
29 | cnf2.append(range(1, 6))  # at least 1
30 | 
31 | def test_cnf():
32 |     cnf = CNF()
33 |     cnf_copy = cnf.copy()
34 |     # TODO: check actual values of the copy for sanity.
35 | 
36 | def test_cnfplus():
37 |     cnfplus = CNFPlus()
38 |     cnfplus_copy = cnfplus.copy()
39 |     # TODO: check actual values of the copy for sanity.
40 | 
41 | def test_cnfplus_solvers():
42 |     # testing cnf1:
43 |     for name in solvers:
44 |         if name not in ('minicard', 'gluecard30', 'gluecard41'):
45 |             try:
46 |                 with Solver(name=name, bootstrap_with=cnf1) as s:
47 |                     s.solve()
48 |                 assert False, 'we should not get here'
49 |             except NotImplementedError:
50 |                 pass
51 |         else:
52 |             with Solver(name=name, bootstrap_with=cnf1) as s:
53 |                 for i, model in enumerate(s.enum_models(), 1):
54 |                     pass
55 |             assert i == 5, 'there should be 5 models'
56 | 
57 |     for name in solvers:
58 |         if name not in ('minicard', 'gluecard30', 'gluecard41'):
59 |             try:
60 |                 with Solver(name=name) as s:
61 |                     s.append_formula(cnf1)
62 |                     s.solve()
63 |                 assert False, 'we should not get here'
64 |             except NotImplementedError:
65 |                 pass
66 |         else:
67 |             with Solver(name=name) as s:
68 |                 s.append_formula(cnf1)
69 |                 for i, model in enumerate(s.enum_models(), 1):
70 |                     pass
71 |             assert i == 5, 'there should be 5 models'
72 | 
73 | def test_cnf_solvers():
74 |     # testing cnf2
75 |     for name in solvers:
76 |         with Solver(name=name, bootstrap_with=cnf2) as s:
77 |             for i, model in enumerate(s.enum_models(), 1):
78 |                 pass
79 |         assert i == 5, 'there should be 5 models'
80 | 
81 |     for name in solvers:
82 |         with Solver(name=name) as s:
83 |             s.append_formula(cnf2)
84 |             for i, model in enumerate(s.enum_models(), 1):
85 |                 pass
86 |         assert i == 5, 'there should be 5 models'
87 | 


--------------------------------------------------------------------------------
/tests/test_equals1.py:
--------------------------------------------------------------------------------
 1 | from pysat.formula import IDPool
 2 | from pysat.card import CardEnc, EncType
 3 | from pysat.solvers import MinisatGH
 4 | 
 5 | def test_equals1():
 6 |     encs = list(filter(lambda name: not name.startswith('__') and name != 'native', dir(EncType)))
 7 |     for l in range(10, 20):
 8 |         for e in encs:
 9 |             for b in (1, l - 1):
10 |                 cnf = CardEnc.equals(lits=list(range(1, l + 1)), bound=b,
11 |                         encoding=getattr(EncType, e))
12 | 
13 |                 # enumerating all models
14 |                 with MinisatGH(bootstrap_with=cnf) as solver:
15 |                     for num, model in enumerate(solver.enum_models(), 1):
16 |                         solver.add_clause([-l for l in model[:l]])
17 | 
18 |                 assert num == l, 'wrong number of models for Equals-1-of-{0} ({1})'.format(l, e)
19 | 


--------------------------------------------------------------------------------
/tests/test_formula_unique.py:
--------------------------------------------------------------------------------
 1 | from pysat.formula import *
 2 | from itertools import permutations
 3 | 
 4 | def test_atom_uniqueness():
 5 |     x1, x2 = Atom('x'), Atom('x')  # same atom
 6 |     z = Atom('z')                  # a different atom
 7 | 
 8 |     assert x1 is x2, 'Atoms should be the same object'
 9 |     assert x1 is not z, 'Atoms should be different objects'
10 | 
11 | def test_2and_uniqueness():
12 |     x1, x2 = Atom('x'), Atom('x')  # same atom
13 |     y = Atom('y')                  # a different atom
14 | 
15 |     a = And(x1, y)
16 |     b = And(y, x1)
17 |     c = And(x2, y)
18 |     d = And(y, x2)
19 | 
20 |     assert id(a) == id(b) == id(c) == id(d), 'All 2-and\'s should be the same object'
21 | 
22 | def test_3and_uniqueness():
23 |     x, y, z = Atom('x'), Atom('y'), Atom('z')
24 | 
25 |     a = And(x, y, z)
26 | 
27 |     for comb in permutations([x, y, z]):
28 |         assert And(*comb) is a, 'All 3-and\'s should be the same object'
29 |         assert And(comb) is a, 'All 3-and\'s should be the same object'
30 | 
31 | def test_3or_uniqueness():
32 |     x, y, z = Atom('x'), Atom('y'), Atom('z')
33 | 
34 |     a = Or(x, y, z)
35 | 
36 |     for comb in permutations([x, y, z]):
37 |         assert Or(*comb) is a, 'All 3-and\'s should be the same object'
38 |         assert Or(comb) is a, 'All 3-and\'s should be the same object'
39 | 


--------------------------------------------------------------------------------
/tests/test_process.py:
--------------------------------------------------------------------------------
 1 | from pysat.formula import CNF
 2 | from pysat.process import Processor
 3 | from pysat.solvers import Solver
 4 | 
 5 | def test_processor():
 6 |     cnf1 = CNF(from_clauses=[[-1, 2], [-2, 3], [-3, 4], [1, -5], [1, 5], [-4, 6], [-4, -6]])
 7 |     cnf2 = CNF(from_clauses=[[-1, 2], [-2, 3], [-3, 4], [1, -5], [1, 5], [-4, 6]])
 8 | 
 9 |     # must be unsatisfiable
10 |     with Processor(cnf1) as processor:
11 |         result = processor.process()
12 | 
13 |         with Solver(bootstrap_with=result) as solver:
14 |             assert solver.solve() == False, 'CNF1 must be unsatisfiable'
15 | 
16 |     # must be satisfiable
17 |     with Processor(cnf2) as processor:
18 |         result = processor.process()
19 | 
20 |         with Solver(bootstrap_with=result) as solver:
21 |             assert solver.solve() == True, 'CNF2 must be satisfiable'
22 |             model = solver.get_model()
23 |             restored = processor.restore(model)
24 | 
25 |             with Solver(bootstrap_with=cnf2) as checker:
26 |                 assert checker.solve(assumptions=restored) == True, 'Wrong model after reconstruction'
27 | 


--------------------------------------------------------------------------------
/tests/test_propagate.py:
--------------------------------------------------------------------------------
 1 | from pysat.card import *
 2 | from pysat.solvers import Solver
 3 | 
 4 | solvers = ['cadical153',
 5 |            'cadical195',
 6 |            'gluecard30',
 7 |            'gluecard41',
 8 |            'glucose30',
 9 |            'glucose41',
10 |            'glucose42',
11 |            'maplechrono',
12 |            'maplecm',
13 |            'maplesat',
14 |            'minicard',
15 |            'mergesat3',
16 |            'minisat22',
17 |            'minisat-gh']
18 | 
19 | def test_solvers():
20 |     cnf = CardEnc.atmost(lits=range(1, 6), bound=1, encoding=EncType.pairwise)
21 | 
22 |     for name in solvers:
23 |         with Solver(name=name, bootstrap_with=cnf) as solver:
24 |             for l in range(1, 6):
25 |                 st, lits = solver.propagate(assumptions=[l], phase_saving=1)
26 |                 assert st, 'wrong status of {0} after propagate()'.format(name)
27 |                 assert [lits[0]] + sorted(lits[1:], key=lambda l: abs(l)) == [l] + [-l2 for l2 in range(1, 6) if l2 != l], 'wrong list of propagated literals: {0}'.format(lits)
28 | 
29 |                 solver.solve(assumptions=[3])
30 | 
31 |             solver.solve()
32 | 
33 |             solver.add_clause([2])
34 |             st, lits = solver.propagate(assumptions=[1])
35 |             assert not st, 'wrong status of {0} after propagate()'.format(name)
36 |             assert not lits, 'wrong list of propagated literals: {0}'.format(lits)
37 | 


--------------------------------------------------------------------------------
/tests/test_unique_model.py:
--------------------------------------------------------------------------------
 1 | from pysat.solvers import Solver
 2 | from pysat.formula import CNF
 3 | 
 4 | solvers = ['cadical103',
 5 |            'cadical153',
 6 |            'gluecard30',
 7 |            'gluecard41',
 8 |            'glucose30',
 9 |            'glucose41',
10 |            'glucose42',
11 |            'lingeling',
12 |            'maplechrono',
13 |            'maplecm',
14 |            'maplesat',
15 |            'minicard',
16 |            'mergesat3',
17 |            'minisat22',
18 |            'minisat-gh']
19 | 
20 | def test_solvers():
21 |     cnf = CNF(from_clauses=[[1, 2, 3], [-1, 2], [-2]])
22 | 
23 |     for name in solvers:
24 |         with Solver(name=name, bootstrap_with=cnf) as solver:
25 |             assert solver.solve(), 'wrong outcome by {0}'.format(name)
26 |             assert solver.get_model() == [-1, -2, 3], 'wrong model by {0}'.format(name)
27 | 
28 |             solver.add_clause([-l for l in solver.get_model()])
29 |             assert not solver.solve(), 'wrong outcome by {0}'.format(name)
30 | 


--------------------------------------------------------------------------------
/tests/test_unique_mus.py:
--------------------------------------------------------------------------------
 1 | import itertools
 2 | from pysat.examples.optux import OptUx
 3 | from pysat.formula import CNF, WCNF
 4 | 
 5 | def test_unique_mus():
 6 |     def check_formula(wcnf):
 7 |         # considering various parameter combinations
 8 |         for booleans in itertools.product([False, True], repeat=3):
 9 |             for trim in [0, 5]:
10 | 
11 |                 with OptUx(wcnf, solver='g3', adapt=booleans[0],
12 |                         exhaust=booleans[1], minz=booleans[2],
13 |                         trim=trim, verbose=0) as optux:
14 | 
15 |                     muses = []
16 |                     for mus in optux.enumerate():
17 |                         muses.append(mus)
18 | 
19 |                     assert len(muses) == 1, 'There should be a single MUS!'
20 | 
21 |     # first, test for unweighted formula
22 |     cnf = CNF(from_clauses=[[-1, 2], [1, -2], [-1, -2], [1, 2]])
23 |     wcnf = cnf.weighted()
24 |     check_formula(wcnf)
25 | 
26 |     # second, test for weighted formula
27 |     wcnf.wght = [10, 50, 1, 2]
28 |     check_formula(wcnf)
29 | 


--------------------------------------------------------------------------------
/tests/test_warmstart.py:
--------------------------------------------------------------------------------
 1 | from pysat.card import CardEnc
 2 | from pysat.solvers import Solver
 3 | 
 4 | def test_warmstart():
 5 |     n, b = 5, 3
 6 | 
 7 |     cnf = CardEnc.atmost(range(1, n + 1), b)
 8 | 
 9 |     for name in ['m22', 'mgh', 'mpl', 'mcm', 'mc', 'g30', 'g41', 'gc30', 'gc41', 'g42']:
10 |         models1 = []
11 |         with Solver(name=name, bootstrap_with=cnf, warm_start=False) as solver:
12 |             models1 = [model for model in solver.enum_models()]
13 | 
14 |         with Solver(name=name, bootstrap_with=cnf, warm_start=True) as solver:
15 |             models2 = [model for model in solver.enum_models()]
16 | 
17 |         assert sorted(models1) == sorted(models2), 'Wrong set/number of models for {0}'.format(name)
18 | 


--------------------------------------------------------------------------------
/travis/build-wheels.sh:
--------------------------------------------------------------------------------
 1 | #!/bin/bash
 2 | set -e -u -x
 3 | 
 4 | function repair_wheel {
 5 |     wheel="$1"
 6 |     if ! auditwheel show "$wheel"; then
 7 |         echo "Skipping non-platform wheel $wheel"
 8 |     else
 9 |         auditwheel repair "$wheel" --plat "$PLAT" -w /io/wheelhouse/
10 |     fi
11 | }
12 | 
13 | # Compile wheels
14 | for PYBIN in /opt/python/*/bin; do
15 |     "${PYBIN}/pip" wheel /io/ --no-deps -w wheelhouse/
16 | done
17 | 
18 | # Bundle external shared libraries into the wheels
19 | for whl in wheelhouse/*.whl; do
20 |     repair_wheel "$whl"
21 | done
22 | 
23 | # Install packages and test
24 | # for PYBIN in /opt/python/*/bin/; do
25 | #     "${PYBIN}/pip" install python-sat --no-index -f /io/wheelhouse
26 | #     (cd "$HOME"; "${PYBIN}/nosetests" python-sat)
27 | # done
28 | 


--------------------------------------------------------------------------------
/web/.gitignore:
--------------------------------------------------------------------------------
1 | /public
2 | /node_modules
3 | /resources
4 | 


--------------------------------------------------------------------------------
/web/.gitmodules:
--------------------------------------------------------------------------------
1 | [submodule "themes/scientific-python-hugo-theme"]
2 | 	path = themes/scientific-python-hugo-theme
3 | 	url = https://github.com/scientific-python/scientific-python-hugo-theme
4 | 


--------------------------------------------------------------------------------
/web/.nojekyll:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/web/.nojekyll


--------------------------------------------------------------------------------
/web/Makefile:
--------------------------------------------------------------------------------
 1 | .PHONY: help themes html serve clean
 2 | .DEFAULT_GOAL := help
 3 | 
 4 | help:
 5 | 	@grep ": ##" Makefile | grep -v grep | tr -d '#'
 6 | 
 7 | themes/scientific-python-hugo-theme:
 8 | 	@if [ ! -d "$<" ]; then \
 9 | 	  echo "*** ERROR: missing theme" ; \
10 | 	  echo ; \
11 | 	  echo "It looks as though you are missing the themes directory."; \
12 | 	  echo "You need to add the scientific-python-hugo-theme as a submodule."; \
13 | 	  echo ; \
14 | 	  echo "Please see https://theme.scientific-python.org/getstarted/"; \
15 | 	  echo ; \
16 | 	  exit 1; \
17 | 	fi
18 | 
19 | content/shortcodes.md:
20 | 	cp content/shortcodes.md.stub content/shortcodes.md
21 | 
22 | themes: themes/scientific-python-hugo-theme
23 | 
24 | html: ## Build site in `./public`
25 | html: themes content/shortcodes.md
26 | 	hugo
27 | 
28 | serve: ## Serve site, typically on http://localhost:1313
29 | serve: themes content/shortcodes.md
30 | 	@hugo --printI18nWarnings server
31 | 
32 | clean: ## Remove built files
33 | clean:
34 | 	rm -rf public
35 | 


--------------------------------------------------------------------------------
/web/assets/css/code-highlight.css:
--------------------------------------------------------------------------------
 1 | /* Background */ .bg { color: #f8f8f2; background-color: #272822 }
 2 | /* PreWrapper */ .chroma { color: #f8f8f2; background-color: #272822; }
 3 | /* Other */ .chroma .x {  }
 4 | /* Error */ .chroma .err { color: #960050; background-color: #1e0010 }
 5 | /* CodeLine */ .chroma .cl {  }
 6 | /* LineTableTD */ .chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
 7 | /* LineTable */ .chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; }
 8 | /* LineHighlight */ .chroma .hl { background-color: #ffffcc }
 9 | /* LineNumbersTable */ .chroma .lnt { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
10 | /* LineNumbers */ .chroma .ln { white-space: pre; user-select: none; margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
11 | /* Line */ .chroma .line { display: flex; }
12 | /* Keyword */ .chroma .k { color: #66d9ef }
13 | /* KeywordConstant */ .chroma .kc { color: #66d9ef }
14 | /* KeywordDeclaration */ .chroma .kd { color: #66d9ef }
15 | /* KeywordNamespace */ .chroma .kn { color: #f92672 }
16 | /* KeywordPseudo */ .chroma .kp { color: #66d9ef }
17 | /* KeywordReserved */ .chroma .kr { color: #66d9ef }
18 | /* KeywordType */ .chroma .kt { color: #66d9ef }
19 | /* Name */ .chroma .n {  }
20 | /* NameAttribute */ .chroma .na { color: #a6e22e }
21 | /* NameBuiltin */ .chroma .nb {  }
22 | /* NameBuiltinPseudo */ .chroma .bp {  }
23 | /* NameClass */ .chroma .nc { color: #a6e22e }
24 | /* NameConstant */ .chroma .no { color: #66d9ef }
25 | /* NameDecorator */ .chroma .nd { color: #a6e22e }
26 | /* NameEntity */ .chroma .ni {  }
27 | /* NameException */ .chroma .ne { color: #a6e22e }
28 | /* NameFunction */ .chroma .nf { color: #a6e22e }
29 | /* NameFunctionMagic */ .chroma .fm {  }
30 | /* NameLabel */ .chroma .nl {  }
31 | /* NameNamespace */ .chroma .nn {  }
32 | /* NameOther */ .chroma .nx { color: #a6e22e }
33 | /* NameProperty */ .chroma .py {  }
34 | /* NameTag */ .chroma .nt { color: #f92672 }
35 | /* NameVariable */ .chroma .nv {  }
36 | /* NameVariableClass */ .chroma .vc {  }
37 | /* NameVariableGlobal */ .chroma .vg {  }
38 | /* NameVariableInstance */ .chroma .vi {  }
39 | /* NameVariableMagic */ .chroma .vm {  }
40 | /* Literal */ .chroma .l { color: #ae81ff }
41 | /* LiteralDate */ .chroma .ld { color: #e6db74 }
42 | /* LiteralString */ .chroma .s { color: #e6db74 }
43 | /* LiteralStringAffix */ .chroma .sa { color: #e6db74 }
44 | /* LiteralStringBacktick */ .chroma .sb { color: #e6db74 }
45 | /* LiteralStringChar */ .chroma .sc { color: #e6db74 }
46 | /* LiteralStringDelimiter */ .chroma .dl { color: #e6db74 }
47 | /* LiteralStringDoc */ .chroma .sd { color: #e6db74 }
48 | /* LiteralStringDouble */ .chroma .s2 { color: #e6db74 }
49 | /* LiteralStringEscape */ .chroma .se { color: #ae81ff }
50 | /* LiteralStringHeredoc */ .chroma .sh { color: #e6db74 }
51 | /* LiteralStringInterpol */ .chroma .si { color: #e6db74 }
52 | /* LiteralStringOther */ .chroma .sx { color: #e6db74 }
53 | /* LiteralStringRegex */ .chroma .sr { color: #e6db74 }
54 | /* LiteralStringSingle */ .chroma .s1 { color: #e6db74 }
55 | /* LiteralStringSymbol */ .chroma .ss { color: #e6db74 }
56 | /* LiteralNumber */ .chroma .m { color: #ae81ff }
57 | /* LiteralNumberBin */ .chroma .mb { color: #ae81ff }
58 | /* LiteralNumberFloat */ .chroma .mf { color: #ae81ff }
59 | /* LiteralNumberHex */ .chroma .mh { color: #ae81ff }
60 | /* LiteralNumberInteger */ .chroma .mi { color: #ae81ff }
61 | /* LiteralNumberIntegerLong */ .chroma .il { color: #ae81ff }
62 | /* LiteralNumberOct */ .chroma .mo { color: #ae81ff }
63 | /* Operator */ .chroma .o { color: #f92672 }
64 | /* OperatorWord */ .chroma .ow { color: #f92672 }
65 | /* Punctuation */ .chroma .p {  }
66 | /* Comment */ .chroma .c { color: #75715e }
67 | /* CommentHashbang */ .chroma .ch { color: #75715e }
68 | /* CommentMultiline */ .chroma .cm { color: #75715e }
69 | /* CommentSingle */ .chroma .c1 { color: #75715e }
70 | /* CommentSpecial */ .chroma .cs { color: #75715e }
71 | /* CommentPreproc */ .chroma .cp { color: #75715e }
72 | /* CommentPreprocFile */ .chroma .cpf { color: #75715e }
73 | /* Generic */ .chroma .g {  }
74 | /* GenericDeleted */ .chroma .gd { color: #f92672 }
75 | /* GenericEmph */ .chroma .ge { font-style: italic }
76 | /* GenericError */ .chroma .gr {  }
77 | /* GenericHeading */ .chroma .gh {  }
78 | /* GenericInserted */ .chroma .gi { color: #a6e22e }
79 | /* GenericOutput */ .chroma .go {  }
80 | /* GenericPrompt */ .chroma .gp {  }
81 | /* GenericStrong */ .chroma .gs { font-weight: bold }
82 | /* GenericSubheading */ .chroma .gu { color: #75715e }
83 | /* GenericTraceback */ .chroma .gt {  }
84 | /* GenericUnderline */ .chroma .gl {  }
85 | /* TextWhitespace */ .chroma .w {  }
86 | 


--------------------------------------------------------------------------------
/web/assets/css/shell.css:
--------------------------------------------------------------------------------
 1 | .hero-right {
 2 |     display: flex;
 3 |     flex-direction: column;
 4 |     /* Black, with 10% opacity */
 5 |     box-shadow: 0px 8px 15px rgba(0, 0, 0, 0.1);
 6 |     background: rgb(238, 238, 238);
 7 |     padding: 15px;
 8 | }
 9 | 
10 | .pysat-shell-canvas {
11 |     min-height: 455px;
12 | }
13 | 
14 | .pysat-shell-container {
15 |     height: 100%;
16 |     display: flex;
17 |     position: relative;
18 |     flex-direction: row;
19 |     justify-content: space-evenly;
20 |     align-items: stretch;
21 |     max-width: 1500px;
22 |     margin: auto;
23 | }
24 | 
25 | .pysat-shell {
26 |     flex: 2;
27 |     padding: 0 15px;
28 | }
29 | 
30 | .shell-title-container {
31 |     text-align: center;
32 |     align-items: center;
33 | }
34 | 
35 | .shell-title {
36 |     font-size: 35px;
37 |     font-weight: bold;
38 | }
39 | 
40 | .shell-lesson {
41 |     text-align: left;
42 |     flex: 1;
43 |     padding: 0 15px;
44 | }
45 | 
46 | .shell-lesson .highlight {
47 |     height: 100%;
48 | }
49 | 
50 | .shell-lesson .highlight pre {
51 |     height: 100%;
52 | }
53 | 
54 | .shell-lesson > p {
55 |     margin: 2px 0 2px 0;
56 | }
57 | 
58 | .highlight:not(:last-child) {
59 |     margin-bottom: 1px !important;
60 | }
61 | 
62 | .CodeMirror {
63 |     max-height: 124px;
64 | }
65 | 
66 | .CodeMirror-lines {
67 |     min-height: 30px!important;
68 | }
69 | 
70 | .CodeMirror pre {
71 |     color: rgb(255, 255, 255) !important;
72 | }
73 | 
74 | .CodeMirror-cursor {
75 |     color: rgb(255, 255, 255) !important;
76 |     border-left: 1px solid white !important;
77 | }
78 | 
79 | @media only screen and (max-width: 800px) {
80 |     .pysat-shell-container {
81 |         flex-direction: column;
82 |         justify-content: space-around;
83 |     }
84 | 
85 |     .pysat-shell {
86 |         min-height: 500px;
87 |     }
88 | }
89 | 


--------------------------------------------------------------------------------
/web/assets/css/vars.css:
--------------------------------------------------------------------------------
 1 | :root {
 2 |   --fontFamily: {{ .Site.Params.font.name }};
 3 | 
 4 |   --colorPrimaryDark:  rgb(37, 63, 90);
 5 |   --colorPrimary: rgb(77, 119, 207);
 6 |   --colorPrimaryLight: rgb(77, 171, 207);
 7 | 
 8 |   --colorSecondaryDark: rgb(108, 122, 137);
 9 |   --colorSecondary: rgb(238, 238, 238);
10 |   --colorSecondaryLight: rgb(255, 255, 255);
11 | 
12 |   --colorHighlight: rgb(255, 197, 83);
13 |   --colorShadow: rgba(0, 0, 0, 0.1);
14 |   --colorContentLink: rgb(30, 135, 240);
15 | 
16 |   --colorIcon: rgb(30, 135, 240);
17 | 
18 |   --colorNoteHeading: #6AB0DE;
19 |   --colorNoteContent: #E7F2FA;
20 | 
21 |   --colorInfoHeading: #F0B37E;
22 |   --colorInfoContent: #FFF2DB;
23 | 
24 |   --colorWarningHeading: rgba(217, 83, 79, 0.8);
25 |   --colorWarningContent: #FAE2E2;
26 | 
27 |   --colorTipHeading: rgba(92, 184, 92, 0.8);
28 |   --colorTipContent: #E6F9E6;
29 | }
30 | 


--------------------------------------------------------------------------------
/web/assets/icons/bug-report.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg" height="24" width="24"><path d="M12 21Q10.375 21 8.988 20.2Q7.6 19.4 6.8 18H4V16H6.1Q6.025 15.5 6.013 15Q6 14.5 6 14H4V12H6Q6 11.5 6.013 11Q6.025 10.5 6.1 10H4V8H6.8Q7.15 7.425 7.588 6.925Q8.025 6.425 8.6 6.05L7 4.4L8.4 3L10.55 5.15Q11.25 4.925 11.975 4.925Q12.7 4.925 13.4 5.15L15.6 3L17 4.4L15.35 6.05Q15.925 6.425 16.388 6.912Q16.85 7.4 17.2 8H20V10H17.9Q17.975 10.5 17.988 11Q18 11.5 18 12H20V14H18Q18 14.5 17.988 15Q17.975 15.5 17.9 16H20V18H17.2Q16.4 19.4 15.013 20.2Q13.625 21 12 21ZM12 19Q13.65 19 14.825 17.825Q16 16.65 16 15V11Q16 9.35 14.825 8.175Q13.65 7 12 7Q10.35 7 9.175 8.175Q8 9.35 8 11V15Q8 16.65 9.175 17.825Q10.35 19 12 19ZM10 16H14V14H10ZM10 12H14V10H10ZM12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Z"/></svg>


--------------------------------------------------------------------------------
/web/content/about/_index.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: "About"
 3 | draft: false
 4 | ---
 5 | 
 6 | The **Scientific Python Hugo Theme** is a theme for the
 7 | [Hugo](https://gohugo.io) static site generator built on the
 8 | [Fresh](https://github.com/StefMa/hugo-fresh) theme.
 9 | 
10 | {{< include-html "static/teams/theme-team.html" >}}
11 | 


--------------------------------------------------------------------------------
/web/content/citation.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: Citing PySAT
 3 | ---
 4 | 
 5 | If PySAT has been significant to a project that leads to an academic
 6 | publication, please, acknowledge that fact by citing PySAT:
 7 | 
 8 | ```bibtex
 9 | @inproceedings{imms-sat18,
10 |   author    = {Alexey Ignatiev and Antonio Morgado and Joao Marques{-}Silva},
11 |   title     = {{PySAT:} {A} {Python} Toolkit for Prototyping with {SAT} Oracles},
12 |   booktitle = {SAT},
13 |   pages     = {428--437},
14 |   year      = {2018},
15 |   url       = {https://doi.org/10.1007/978-3-319-94144-8_26},
16 |   doi       = {10.1007/978-3-319-94144-8_26}
17 | }
18 | 
19 | @inproceedings{itk-sat24,
20 |   author    = {Alexey Ignatiev and Zi Li Tan and Christos Karamanos},
21 |   title     = {Towards Universally Accessible {SAT} Technology},
22 |   booktitle = {SAT},
23 |   pages     = {4:1--4:11},
24 |   year      = {2024},
25 |   url       = {https://doi.org/10.4230/LIPIcs.SAT.2024.16},
26 |   doi       = {10.4230/LIPICS.SAT.2024.16},
27 | }
28 | ```
29 | 


--------------------------------------------------------------------------------
/web/content/gethelp.md:
--------------------------------------------------------------------------------
1 | ---
2 | title: Get Help
3 | ---
4 | 
5 | Please see our [issue tracker](https://github.com/scientific-python/scientific-python-hugo-theme/issues).
6 | 


--------------------------------------------------------------------------------
/web/content/getstarted.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: Get Started
 3 | ---
 4 | 
 5 | ## The Scientific Python theme for Hugo
 6 | 
 7 | The **Scientific Python Hugo Theme** is a theme for the
 8 | [Hugo](https://gohugo.io) static site generator based on the
 9 | [Fresh](https://github.com/StefMa/hugo-fresh) theme.
10 | 
11 | To use the theme, you will need to
12 | [download hugo](https://github.com/gohugoio/hugo/releases)
13 | and place it on your path.
14 | 
15 | ## Download and install
16 | 
17 | 1. Download [the theme ZIP file](https://github.com/scientific-python/scientific-python-hugo-theme/archive/refs/heads/main.zip) and extract it.
18 | 
19 | 2. Copy the `doc` folder as a template of your new website:
20 | 
21 |    ```sh
22 |    cp -r scientific-python-hugo-theme-main/doc ./my-website
23 |    cd my-website
24 |    ```
25 | 
26 | 3. Initialize git and add `scientific-python-hugo-theme` as a submodule:
27 | 
28 |    ```sh
29 |    git init
30 |    git submodule add https://github.com/scientific-python/scientific-python-hugo-theme themes/scientific-python-hugo-theme
31 |    ```
32 | 
33 | 4. Build your site:
34 | 
35 |    ```sh
36 |    make serve
37 |    ```
38 | 
39 | Browse to `http://localhost:1313`, and hopefully you will see your new site!
40 | 
41 | ## Build HTML
42 | 
43 | Run `make html`. Output appears in `./public`.
44 | 
45 | ## Customizing the site
46 | 
47 | Edit `config.yaml` to your liking.
48 | 
49 | To customize styling, add one or more `*.css` files to the `assets/css` directory.
50 | These files may make use of Hugo templating,
51 | e.g. to access configuration variables as `{{ .Site.Params.somevar }}`.
52 | 
53 | Add custom JavaScript to `static/js/*.js`.
54 | 
55 | ## Next steps
56 | 
57 | See [features]({{< relref "features" >}}) and [shortcodes]({{< relref "shortcodes" >}}).
58 | 
59 | See the
60 | [scientific-python.org](https://github.com/scientific-python/scientific-python.org),
61 | [numpy.org](https://github.com/numpy/numpy.org), and
62 | [scipy.org](https://github.com/scipy/scipy.org) repositories for
63 | examples of what is possible by changing `config.yaml`.
64 | 


--------------------------------------------------------------------------------
/web/content/installation.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: Installation
 3 | ---
 4 | 
 5 | There are several ways to install PySAT. At this point, either way
 6 | assumes you are using a POSIX-compliant operating system with GNU
 7 | [make](https://www.gnu.org/software/make/) and
 8 | [patch](http://savannah.gnu.org/projects/patch/) installed and available
 9 | from the command line. Installation also relies on a C/C++ compiler
10 | supporting C++11, e.g. [GCC](https://gcc.gnu.org/) or
11 | [Clang](https://clang.llvm.org/), as well as the `six` [Python
12 | package](https://pypi.org/project/six/). Finally, in order to compile
13 | \"C extensions\" included as modules, the installer requires the headers
14 | of [Python](https://www.python.org/) and [zlib](https://www.zlib.net/).
15 | Both can be installed using the standard package repositories.
16 | 
17 | Note that although version *0.1.5.dev1* of PySAT brings Microsoft Windows
18 | support, the toolkit was not extensively tested on this system. If you find
19 | out that something is broken on Windows, please, [let us
20 | know](https://github.com/pysathq/pysat/issues). Your input is important.
21 | 
22 | Also note that using Clang is preferred on MacOS as there may be an
23 | issue with GCC *being unaware of* the command-line option
24 | `--stdlib=libc++`. Clang is available on MacOS by default. To enforce
25 | the installer to use it, you need to set the environment variable `CC`
26 | to `/usr/bin/clang`. For that, do `export CC=/usr/bin/clang` if using
27 | Bash, or `setenv CC /usr/bin/clang` if using tsch. *This is not needed
28 | on Linux!*
29 | 
30 | Once all the prerequisites are installed, the simplest way to get and
31 | start using PySAT is to install the latest stable release of the toolkit
32 | from [PyPI](https://pypi.org/project/python-sat/):[^1]
33 | 
34 | [^1]: **NOTE:** For some shells, e.g. *zsh*, you may need to put the package
35 |     names into single quotes, i.e. use `pip install
36 |     'python-sat[aiger,approxmc,cryptosat,pblib]'`.
37 | 
38 | ```bash
39 | pip install python-sat[aiger,approxmc,cryptosat,pblib]
40 | ```
41 | 
42 | We encourage you to install the *optional* dependencies *pblib*, *aiger*,
43 | *cryptosat*, and *approxmc*, as shown in the previous command. However, if it
44 | cannot be done (e.g. if their installation fails), you can install PySAT with
45 | the functionality of *aiger*, *approxmc*, *cryptosat*, and *pblib* disabled:
46 | 
47 | ```bash
48 | pip install python-sat
49 | ```
50 | 
51 | Once installed from PyPI, the toolkit at a later stage can be updated in
52 | the following way:
53 | 
54 | ```bash
55 | pip install -U python-sat
56 | ```
57 | 
58 | Alternatively, one can clone [the
59 | repository](https://github.com/pysathq/pysat) and execute the following
60 | command in the local copy:
61 | 
62 | ```bash
63 | python setup.py install
64 | ```
65 | 
66 | This will install the toolkit into the system\'s Python path. If another
67 | destination directory is preferred, it can be set by
68 | 
69 | ```bash
70 | python setup.py install --prefix=<where-to-install>
71 | ```
72 | 
73 | Both options (i.e. via `pip` or `setup.py`) are supposed to download and
74 | compile all the supported SAT solvers as well as prepare the
75 | installation of PySAT.
76 | 


--------------------------------------------------------------------------------
/web/content/shortcodes.md:
--------------------------------------------------------------------------------
1 | ---
2 | title: Shortcodes summary placeholder
3 | ---
4 | 
5 | Please refer to [the theme shortcode description list](https://theme.scientific-python.org/shortcodes/).
6 | 


--------------------------------------------------------------------------------
/web/content/shortcodes.md.stub:
--------------------------------------------------------------------------------
1 | ---
2 | title: Shortcodes summary placeholder
3 | ---
4 | 
5 | Please refer to [the theme shortcode description list](https://theme.scientific-python.org/shortcodes/).
6 | 


--------------------------------------------------------------------------------
/web/content/todo.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: To-Do
 3 | ---
 4 | 
 5 | PySAT toolkit is a work in progress. Although it can already be helpful in
 6 | many practical settings (and it **was** successfully applied by its authors
 7 | for a number of times), it would be great if some of the following additional
 8 | features were implemented:
 9 | 
10 | -   more SAT solvers to support (e.g.
11 |     [RISS](http://tools.computational-logic.org/content/riss.php), [Intel (R)
12 |     SAT Solver](https://github.com/alexander-nadel/intel_sat_solver) among
13 |     many others)
14 | -   lower level access to some of the solvers\' internal parameters (e.g.
15 |     *variable activities*, etc.)
16 | 
17 | These will require a significant effort to be made. Therefore, we would like
18 | to encourage the SAT community to contribute and make PySAT a tool for an easy
19 | and comfortable day-to-day use. :)
20 | 


--------------------------------------------------------------------------------
/web/content/usage.md:
--------------------------------------------------------------------------------
  1 | ---
  2 | title: Usage
  3 | ---
  4 | 
  5 | Boolean variables in PySAT are represented as natural identifiers, e.g.
  6 | numbers from $\mathbb{N}\_{>0}$. A *literal* in PySAT is assumed to be an
  7 | integer, e.g. `-1` represents a literal $\neg{x\_1}$ while $5$ represents a
  8 | literal $x\_5$. A *clause* is a list of literals, e.g. ``[-3, -2]`` is a
  9 | clause $(\neg{x\_3} \vee \neg{x\_2})$.
 10 | 
 11 | The following is a trivial example of PySAT usage:
 12 | 
 13 | ``` python
 14 | >>> from pysat.solvers import Glucose3
 15 | >>>
 16 | >>> g = Glucose3()
 17 | >>> g.add_clause([-1, 2])
 18 | >>> g.add_clause([-2, 3])
 19 | >>> print(g.solve())
 20 | >>> print(g.get_model())
 21 | ...
 22 | True
 23 | [-1, -2, -3]
 24 | ```
 25 | 
 26 | Another example shows how to extract *unsatisfiable cores* from a SAT solver
 27 | given an unsatisfiable set of clauses:
 28 | 
 29 | ``` python
 30 | >>> from pysat.solvers import Minisat22
 31 | >>>
 32 | >>> with Minisat22(bootstrap_with=[[-1, 2], [-2, 3]]) as m:
 33 | ...     print(m.solve(assumptions=[1, -3]))
 34 | ...     print(m.get_core())
 35 | ...
 36 | False
 37 | [-3, 1]
 38 | ```
 39 | 
 40 | Finally, the following example gives an idea of how one can extract a *proof*
 41 | (supported by Glucose3, Glucose4, and Lingeling only):
 42 | 
 43 | ``` python
 44 | >>> from pysat.formula import CNF
 45 | >>> from pysat.solvers import Lingeling
 46 | >>>
 47 | >>> formula = CNF()
 48 | >>> formula.append([-1, 2])
 49 | >>> formula.append([1, -2])
 50 | >>> formula.append([-1, -2])
 51 | >>> formula.append([1, 2])
 52 | >>>
 53 | >>> with Lingeling(bootstrap_with=formula.clauses, with_proof=True) as l:
 54 | ...     if l.solve() == False:
 55 | ...         print(l.get_proof())
 56 | ...
 57 | ['2 0', '1 0', '0']
 58 | ```
 59 | 
 60 | PySAT usage is detailed in the [provided
 61 | examples](https://github.com/pysathq/pysat/tree/master/examples). For
 62 | instance, one can find simple PySAT-based implementations of
 63 | 
 64 | -   Fu&Malik algorithm for MaxSAT[^1]
 65 | -   RC2/OLLITI algorithm for MaxSAT[^2] [^3]
 66 | -   CLD-like algorithm for MCS extraction and enumeration[^4]
 67 | -   LBX-like algorithm for MCS extraction and enumeration[^5]
 68 | -   Deletion-based MUS extraction[^6]
 69 | 
 70 | The examples are installed with PySAT as a subpackage and, thus, they can be
 71 | accessed internally in Python:
 72 | 
 73 | ``` python
 74 | >>> from pysat.formula import CNF
 75 | >>> from pysat.examples.lbx import LBX
 76 | >>>
 77 | >>> formula = CNF(from_file='input.cnf')
 78 | >>> mcsls = LBX(formula.weighted())
 79 | >>>
 80 | >>> for mcs in mcsls.enumerate():
 81 | ...     print(mcs)
 82 | ```
 83 | 
 84 | Alternatively, they can be used as standalone executables, e.g. like
 85 | this:
 86 | 
 87 | ```bash
 88 | lbx.py -e all -d -s g4 -v another-input.wcnf
 89 | ```
 90 | 
 91 | [^1]: Zhaohui Fu, Sharad Malik. *On Solving the Partial MAX-SAT Problem*. SAT
 92 |     2006. pp. 252-265
 93 | 
 94 | [^2]: António Morgado, Carmine Dodaro, Joao Marques-Silva. *Core-Guided MaxSAT
 95 |     with Soft Cardinality Constraints*. CP 2014. pp. 564-573
 96 | 
 97 | [^3]: António Morgado, Alexey Ignatiev, Joao Marques-Silva. *MSCG: Robust
 98 |     Core-Guided MaxSAT Solving. System Description*. JSAT 2015. vol. 9, pp.
 99 |     129-134
100 | 
101 | [^4]: Joao Marques-Silva, Federico Heras, Mikolas Janota, Alessandro Previti,
102 |     Anton Belov. *On Computing Minimal Correction Subsets*. IJCAI 2013. pp.
103 |     615-622
104 | 
105 | [^5]: Carlos Mencia, Alessandro Previti, Joao Marques-Silva. *Literal-Based
106 |     MCS Extraction*. IJCAI 2015. pp. 1973-1979
107 | 
108 | [^6]: Joao Marques Silva. *Minimal Unsatisfiability: Models, Algorithms and
109 |     Applications*. ISMVL 2010. pp. 9-14
110 | 


--------------------------------------------------------------------------------
/web/layouts/partials/footer.html:
--------------------------------------------------------------------------------
 1 | {{- $title          := .Site.Params.title }}
 2 | {{- $authors        := .Site.Params.authors }}
 3 | {{- $footer      := .Site.Params.footer }}
 4 | {{- $logo        := index $footer "logo" }}
 5 | {{- $quickLinks  := index $footer "quicklinks" }}
 6 | {{- $socialMedia := index $footer "socialmedia" }}
 7 | {{- $navbarLogo     := .Site.Params.navbarlogo }}
 8 | 
 9 | <footer id="footer" class="footer">
10 |   <div class="container is-max-widescreen">
11 |     <div id="footer-columns" class="columns">
12 |       <div class="footer-logo-column">
13 |         <img id="footer-logo" src="{{ printf "/images/%s" $logo | relURL }}" alt="{{ $title }} logo. {{ $navbarLogo.altText }}">
14 |       </div>
15 |       {{- range $quickLinks }}
16 |         <div class="link-column">
17 |           <div class="footer-column">
18 |             <div class="footer-header">
19 |             </div>
20 |             <ul class="link-list">
21 |               {{- range .links }}
22 |               <li class="link-list">
23 |                 <a class="footer-link" href="{{ .link }}">
24 |                   {{ .text }}
25 |                 </a>
26 |               </li>
27 |               {{- end }}
28 |             </ul>
29 |           </div>
30 |         </div>
31 |       {{- end }}
32 |         <div class="footer-actions">
33 |           {{ partial "footer_actions.html" . }}
34 |           <nav class="level is-mobile">
35 |             <div class="social-media-icons">
36 |               {{- range $socialMedia }}
37 |               <a class="level-item" href="{{ .link }}" aria-label="{{ .link }}">
38 |                 {{if .icon -}}
39 |                 {{- partial "svg-icon" .icon -}}
40 |                 {{- else -}}
41 |                 <span class="icon">ⓘ</span>
42 |                 {{- end }}
43 |               </a>
44 |               {{- end }}
45 |             </div>
46 |           </nav>
47 |           <div class="copyright">&copy; 2018-{{ now.Year }} {{ $authors }}.
48 |             <!-- All rights reserved.--></div>
49 |         </div>
50 |     </div>
51 |   </div>
52 | </footer>
53 | 


--------------------------------------------------------------------------------
/web/layouts/partials/meta.html:
--------------------------------------------------------------------------------
 1 | {{ if eq .Site.Params.openGraph true }}
 2 | {{ template "_internal/opengraph.html" . }}
 3 | {{ end }}
 4 | <meta name="description" content="{{ if .Params.summary }}{{ .Params.summary }}{{ else if .Site.Params.Description }}{{ .Site.Params.Description }}{{ else }}Hardcoded description; the author should update :){{ end }}" />
 5 | <meta charset="utf-8">
 6 | <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
 7 | <meta http-equiv="x-ua-compatible" content="ie=edge">
 8 | <script async="async" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS-MML_HTMLorMML"></script>
 9 | <script type="text/x-mathjax-config">
10 | MathJax.Hub.Config({
11 |   tex2jax: {
12 | 	inlineMath: [['$','$']], <!--, ['\\(','\\)']], -->
13 | 	displayMath: [['$$','$$']], <!-- ['\[','\]']], -->
14 |     processEscapes: true,
15 |     processEnvironments: true,
16 |     skipTags: ['script', 'noscript', 'style', 'textarea', 'pre'],
17 |     TeX: { equationNumbers: { autoNumber: "AMS" },
18 |          extensions: ["AMSmath.js", "AMSsymbols.js"] }
19 |   }
20 | });
21 | </script>
22 | 


--------------------------------------------------------------------------------
/web/layouts/partials/shell-lesson.html:
--------------------------------------------------------------------------------
 1 | ```python
 2 | """
 3 | This is a WebAssembly power Python shell,
 4 | where you can try the examples in the browser:
 5 | 1. Type code in the input cell and press
 6 |    Shift + Enter to execute;
 7 | 2. Or copy paste the code, and click on
 8 |    the "Run" button in the toolbar
 9 | 3. By the way, TAB-based autocompletion works!
10 | """
11 | 
12 | # the standard way to import PySAT:
13 | from pysat.formula import CNF
14 | from pysat.solvers import Solver
15 | 
16 | # create a satisfiable CNF formula "(-x1 ∨ x2) ∧ (-x1 ∨ -x2)":
17 | cnf = CNF(from_clauses=[[-1, 2], [-1, -2]])
18 | 
19 | # create a SAT solver for this formula:
20 | with Solver(bootstrap_with=cnf) as solver:
21 |     # 1.1 call the solver for this formula:
22 |     print('formula is', f'{"s" if solver.solve() else "uns"}atisfiable')
23 | 
24 |     # 1.2 the formula is satisfiable and so has a model:
25 |     print('and the model is:', solver.get_model())
26 | 
27 |     # 2.1 apply the MiniSat-like assumption interface:
28 |     print('formula is',
29 |         f'{"s" if solver.solve(assumptions=[1, 2]) else "uns"}atisfiable',
30 |         'assuming x1 and x2')
31 | 
32 |     # 2.2 the formula is unsatisfiable,
33 |     # i.e. an unsatisfiable core can be extracted:
34 |     print('and the unsatisfiable core is:', solver.get_core())
35 | ```
36 | 


--------------------------------------------------------------------------------
/web/layouts/partials/shell.html:
--------------------------------------------------------------------------------
 1 | {{- $shell := .Site.Params.shell }}
 2 | {{- $intro := index $shell "intro" }}
 3 | <div class="hero-right">
 4 |     <div class="flex-column shell-title-container">
 5 |         {{- range $intro }}
 6 |             <div class="shell-title">{{ .title }}</div>
 7 |             <div class="shell-content-message">
 8 |                 <p>{{ .text }}</p>
 9 |             </div>
10 |         {{- end }}
11 |     </div>
12 |     <div class="pysat-shell-canvas">
13 |         <div class="pysat-shell-container">
14 |             <div class="shell-lesson shell-content">
15 |                 {{partial "shell-lesson.html" | print | markdownify}}
16 |             </div>
17 |             <!-- Interactive Shell -->
18 |             <iframe
19 |                 class="pysat-shell"
20 |                 src="https://jupyterlite.github.io/demo/repl/?toolbar=1&kernel=python&code=from%20pysat.formula%20import%20CNF%0Afrom%20pysat.solvers%20import%20Solver"
21 |             >
22 |             </iframe>
23 |         </div>
24 |     </div>
25 | </div>
26 | 


--------------------------------------------------------------------------------
/web/netlify.toml:
--------------------------------------------------------------------------------
 1 | [build]
 2 |   # https://answers.netlify.com/t/build-canceled-due-to-no-content-change-when-using-submodule/25445/2
 3 |   ignore = "false"
 4 | 
 5 | [build.environment]
 6 |   PYTHON_VERSION = "3.8"
 7 |   HUGO_VERSION = "0.99.1"
 8 | 
 9 | [[plugins]]
10 |   package = "netlify-plugin-checklinks"
11 | 
12 | [[plugins]]
13 |   package = "@netlify/plugin-lighthouse"
14 | 
15 |   # optional, fails build when a category is below a threshold
16 |   [plugins.inputs.thresholds]
17 |     performance = 0.85
18 |     accessibility = 0.95
19 |     best-practices = 0.95
20 |     seo = 0.95
21 |     pwa = 0.2
22 | 
23 |   # optional, deploy the lighthouse report to a path under your site
24 |   [plugins.inputs]
25 |     output_path = "reports/lighthouse.html"
26 | 


--------------------------------------------------------------------------------
/web/static/example.html:
--------------------------------------------------------------------------------
1 | This is some example HTML with <em>italic</em> and <b>bold</b> text.
2 | 


--------------------------------------------------------------------------------
/web/static/images/favicon.ico:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/web/static/images/favicon.ico


--------------------------------------------------------------------------------
/web/static/medals.html:
--------------------------------------------------------------------------------
1 | <br>
2 | <img src="medals.svg" alt="medals" style="float: right; width:45px;
3 | 		  margin-right:16px"/>
4 | 


--------------------------------------------------------------------------------
/web/static/teams/theme-team.html:
--------------------------------------------------------------------------------
  1 | 
  2 | <div class="team">
  3 |   <h6 class="name title">Theme Team</h6>
  4 |   <div class="members">
  5 |     
  6 |     <div class="member">
  7 |       <a href="https://github.com/InessaPawson" class="name">
  8 |         <div class="photo">
  9 |           <img
 10 |             src="https://avatars.githubusercontent.com/u/43481325?u=abd6a16d90a864bde887199e0375699e3d05d915&v=4"
 11 |             loading="lazy"
 12 |             alt="Avatar of InessaPawson"
 13 |           />
 14 |         </div>
 15 |         InessaPawson
 16 |       </a>
 17 |     </div>
 18 | 
 19 |     <div class="member">
 20 |       <a href="https://github.com/jarrodmillman" class="name">
 21 |         <div class="photo">
 22 |           <img
 23 |             src="https://avatars.githubusercontent.com/u/123428?v=4"
 24 |             loading="lazy"
 25 |             alt="Avatar of Jarrod Millman"
 26 |           />
 27 |         </div>
 28 |         Jarrod Millman
 29 |       </a>
 30 |     </div>
 31 | 
 32 |     <div class="member">
 33 |       <a href="https://github.com/joelachance" class="name">
 34 |         <div class="photo">
 35 |           <img
 36 |             src="https://avatars.githubusercontent.com/u/3891660?u=5de0ba1f1adad6f041f6dde1affef5d05bbed80a&v=4"
 37 |             loading="lazy"
 38 |             alt="Avatar of Joe LaChance"
 39 |           />
 40 |         </div>
 41 |         Joe LaChance
 42 |       </a>
 43 |     </div>
 44 | 
 45 |     <div class="member">
 46 |       <a href="https://github.com/juanis2112" class="name">
 47 |         <div class="photo">
 48 |           <img
 49 |             src="https://avatars.githubusercontent.com/u/18587879?u=83f10fabe466ae8e7052c03c5e6e9cde684a4e10&v=4"
 50 |             loading="lazy"
 51 |             alt="Avatar of Juanita Gomez"
 52 |           />
 53 |         </div>
 54 |         Juanita Gomez
 55 |       </a>
 56 |     </div>
 57 | 
 58 |     <div class="member">
 59 |       <a href="https://github.com/MarsBarLee" class="name">
 60 |         <div class="photo">
 61 |           <img
 62 |             src="https://avatars.githubusercontent.com/u/46167686?u=529b2953f1c11efa4639df47ef6d403ba684163b&v=4"
 63 |             loading="lazy"
 64 |             alt="Avatar of MarsBarLee"
 65 |           />
 66 |         </div>
 67 |         MarsBarLee
 68 |       </a>
 69 |     </div>
 70 | 
 71 |     <div class="member">
 72 |       <a href="https://github.com/melissawm" class="name">
 73 |         <div class="photo">
 74 |           <img
 75 |             src="https://avatars.githubusercontent.com/u/3949932?u=aacac68df60d2cf64c17c7e5aa17adf8b738aa7b&v=4"
 76 |             loading="lazy"
 77 |             alt="Avatar of Melissa Weber Mendonça"
 78 |           />
 79 |         </div>
 80 |         Melissa Weber Mendonça
 81 |       </a>
 82 |     </div>
 83 | 
 84 |     <div class="member">
 85 |       <a href="https://github.com/rgommers" class="name">
 86 |         <div class="photo">
 87 |           <img
 88 |             src="https://avatars.githubusercontent.com/u/98330?u=22a023f8d191ba200ab13d476c83860d015cc9fe&v=4"
 89 |             loading="lazy"
 90 |             alt="Avatar of Ralf Gommers"
 91 |           />
 92 |         </div>
 93 |         Ralf Gommers
 94 |       </a>
 95 |     </div>
 96 | 
 97 |     <div class="member">
 98 |       <a href="https://github.com/rossbar" class="name">
 99 |         <div class="photo">
100 |           <img
101 |             src="https://avatars.githubusercontent.com/u/1268991?u=974707b96081a9705f3a239c0773320f353ee02f&v=4"
102 |             loading="lazy"
103 |             alt="Avatar of Ross Barnowski"
104 |           />
105 |         </div>
106 |         Ross Barnowski
107 |       </a>
108 |     </div>
109 | 
110 |     <div class="member">
111 |       <a href="https://github.com/stefanv" class="name">
112 |         <div class="photo">
113 |           <img
114 |             src="https://avatars.githubusercontent.com/u/45071?u=c779b5e06448fbc638bc987cdfe305c7f9a7175e&v=4"
115 |             loading="lazy"
116 |             alt="Avatar of Stefan van der Walt"
117 |           />
118 |         </div>
119 |         Stefan van der Walt
120 |       </a>
121 |     </div>
122 | 
123 |     <div class="member">
124 |       <a href="https://github.com/tupui" class="name">
125 |         <div class="photo">
126 |           <img
127 |             src="https://avatars.githubusercontent.com/u/23188539?u=64445b52dbf3f75de8006ed4264fdd2afaed97a3&v=4"
128 |             loading="lazy"
129 |             alt="Avatar of Pamphile ROY"
130 |           />
131 |         </div>
132 |         Pamphile ROY
133 |       </a>
134 |     </div>
135 | 
136 |   </div>
137 | </div>
138 | 
139 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/.github/workflows/lint.yml:
--------------------------------------------------------------------------------
 1 | name: style
 2 | 
 3 | on: [push, pull_request]
 4 | 
 5 | jobs:
 6 |   format:
 7 |     runs-on: ubuntu-22.04
 8 |     strategy:
 9 |       matrix:
10 |         python-version: ["3.10"]
11 | 
12 |     steps:
13 |       - uses: actions/checkout@v3
14 | 
15 |       - name: Set up Python ${{ matrix.python-version }}
16 |         uses: actions/setup-python@v3
17 |         with:
18 |           python-version: ${{ matrix.python-version }}
19 |           cache: "pip"
20 | 
21 |       - name: Install packages
22 |         run: |
23 |           pip install --upgrade pip
24 |           pip install -r requirements.txt
25 | 
26 |       - name: Lint
27 |         run: pre-commit run --all-files --show-diff-on-failure --color always
28 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/.gitignore:
--------------------------------------------------------------------------------
1 | *~
2 | \#*
3 | .hugo_build.lock
4 | resources
5 | 
6 | # Auto-generated
7 | doc/content/shortcodes.md
8 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/.gitmodules:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/web/themes/scientific-python-hugo-theme/.gitmodules


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/.pre-commit-config.yaml:
--------------------------------------------------------------------------------
 1 | # Install pre-commit hooks via
 2 | # pre-commit install
 3 | 
 4 | repos:
 5 |   - repo: https://github.com/psf/black
 6 |     rev: 22.3.0
 7 |     hooks:
 8 |       - id: black
 9 | 
10 |   - repo: https://github.com/pre-commit/mirrors-prettier
11 |     rev: v2.6.2
12 |     hooks:
13 |       - id: prettier
14 |         files: \.(md|yml|yaml)
15 |         args: [--prose-wrap=preserve]
16 | 
17 |   - repo: https://github.com/asottile/pyupgrade
18 |     rev: v2.32.1
19 |     hooks:
20 |       - id: pyupgrade
21 |         args: [--py38-plus]
22 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/LICENSE:
--------------------------------------------------------------------------------
 1 | BSD 3-Clause License
 2 | 
 3 | Copyright (c) 2021--2022, Scientific Python project
 4 | All rights reserved.
 5 | 
 6 | Redistribution and use in source and binary forms, with or without
 7 | modification, are permitted provided that the following conditions are met:
 8 | 
 9 | 1. Redistributions of source code must retain the above copyright notice, this
10 |    list of conditions and the following disclaimer.
11 | 
12 | 2. Redistributions in binary form must reproduce the above copyright notice,
13 |    this list of conditions and the following disclaimer in the documentation
14 |    and/or other materials provided with the distribution.
15 | 
16 | 3. Neither the name of the copyright holder nor the names of its
17 |    contributors may be used to endorse or promote products derived from
18 |    this software without specific prior written permission.
19 | 
20 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
21 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
23 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
24 | FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25 | DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
26 | SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
27 | CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
28 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
29 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 | 
31 | ----
32 | 
33 | Adapted from the Hugo Fresh theme, which has the following license:
34 | 
35 | MIT License
36 | 
37 | Copyright (c) 2019 Stefan M.
38 | 
39 | Permission is hereby granted, free of charge, to any person obtaining a copy
40 | of this software and associated documentation files (the "Software"), to deal
41 | in the Software without restriction, including without limitation the rights
42 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
43 | copies of the Software, and to permit persons to whom the Software is
44 | furnished to do so, subject to the following conditions:
45 | 
46 | The above copyright notice and this permission notice shall be included in all
47 | copies or substantial portions of the Software.
48 | 
49 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
50 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
51 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
52 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
53 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
54 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
55 | SOFTWARE.
56 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/Makefile:
--------------------------------------------------------------------------------
 1 | .PHONY: doc-serve shortcode-docs docs
 2 | .DEFAULT_GOAL := doc-serve
 3 | 
 4 | 
 5 | GH_ORG = scientific-python
 6 | TEAMS_DIR = doc/static/teams
 7 | TEAMS = theme-team
 8 | TEAMS_QUERY = python tools/team_query.py
 9 | 
10 | $(TEAMS_DIR):
11 | 	mkdir -p $(TEAMS_DIR)
12 | 
13 | $(TEAMS_DIR)/%.md: $(TEAMS_DIR)
14 | 	$(eval TEAM_NAME=$(shell python -c "import re; print(' '.join(x.capitalize() for x in re.split('-|_', '$*')))"))
15 | 	$(TEAMS_QUERY) --org $(GH_ORG) --team "$*"  >  $(TEAMS_DIR)/$*.html
16 | 
17 | teams-clean:
18 | 	for team in $(TEAMS); do \
19 | 	  rm -f $(TEAMS_DIR)/$${team}.html ;\
20 | 	done
21 | 
22 | teams: | teams-clean $(patsubst %,$(TEAMS_DIR)/%.md,$(TEAMS))
23 | 
24 | doc/content/shortcodes.md: $(wildcard layouts/shortcodes/*.html)
25 | 	python tools/render_shortcode_docs.py > doc/content/shortcodes.md
26 | 
27 | doc-serve: doc/content/shortcodes.md
28 | 	(cd doc && hugo serve --themesDir="../..")
29 | 
30 | docs: doc/content/shortcodes.md
31 | 	(cd doc ; hugo --themesDir="../..")
32 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/README.md:
--------------------------------------------------------------------------------
 1 | # The Scientific Python theme for Hugo
 2 | 
 3 | The **Scientific Python Hugo Theme** is a theme for the
 4 | [Hugo](https://gohugo.io) static site generator built on the
 5 | [Fresh](https://github.com/StefMa/hugo-fresh) theme.
 6 | 
 7 | Please see the [theme
 8 | documentation](https://theme.scientific-python.org), especially the
 9 | [get started](https://theme.scientific-python.org/getstarted/) page.
10 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/README.md:
--------------------------------------------------------------------------------
1 | You can find more free icons at:
2 | 
3 | - https://fonts.google.com/icons (Search and then click the SVG download button at the bottom of the right-hand column.)
4 | - https://simpleicons.org/
5 | 
6 | Apache licensed, but with a notice at https://github.com/google/material-design-icons:
7 | 
8 | > We'd love attribution in your app's about screen, but it's not required.
9 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/discourse.svg:
--------------------------------------------------------------------------------
1 | <svg viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M12.103 0C18.666 0 24 5.485 24 11.997c0 6.51-5.33 11.99-11.9 11.99L0 24V11.79C0 5.28 5.532 0 12.103 0zm.116 4.563c-2.593-.003-4.996 1.352-6.337 3.57-1.33 2.208-1.387 4.957-.148 7.22L4.4 19.61l4.794-1.074c2.745 1.225 5.965.676 8.136-1.39 2.17-2.054 2.86-5.228 1.737-7.997-1.135-2.778-3.84-4.59-6.84-4.585h-.008z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/facebook.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg"><path d="M22,12c0-5.52-4.48-10-10-10S2,6.48,2,12c0,4.84,3.44,8.87,8,9.8V15H8v-3h2V9.5C10,7.57,11.57,6,13.5,6H16v3h-2 c-0.55,0-1,0.45-1,1v2h3v3h-3v6.95C18.05,21.45,22,17.19,22,12z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/github.svg:
--------------------------------------------------------------------------------
1 | <svg viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M12 .297c-6.63 0-12 5.373-12 12 0 5.303 3.438 9.8 8.205 11.385.6.113.82-.258.82-.577 0-.285-.01-1.04-.015-2.04-3.338.724-4.042-1.61-4.042-1.61C4.422 18.07 3.633 17.7 3.633 17.7c-1.087-.744.084-.729.084-.729 1.205.084 1.838 1.236 1.838 1.236 1.07 1.835 2.809 1.305 3.495.998.108-.776.417-1.305.76-1.605-2.665-.3-5.466-1.332-5.466-5.93 0-1.31.465-2.38 1.235-3.22-.135-.303-.54-1.523.105-3.176 0 0 1.005-.322 3.3 1.23.96-.267 1.98-.399 3-.405 1.02.006 2.04.138 3 .405 2.28-1.552 3.285-1.23 3.285-1.23.645 1.653.24 2.873.12 3.176.765.84 1.23 1.91 1.23 3.22 0 4.61-2.805 5.625-5.475 5.92.42.36.81 1.096.81 2.22 0 1.606-.015 2.896-.015 3.286 0 .315.21.69.825.57C20.565 22.092 24 17.592 24 12.297c0-6.627-5.373-12-12-12"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/instagram.svg:
--------------------------------------------------------------------------------
1 | <svg viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M12 0C8.74 0 8.333.015 7.053.072 5.775.132 4.905.333 4.14.63c-.789.306-1.459.717-2.126 1.384S.935 3.35.63 4.14C.333 4.905.131 5.775.072 7.053.012 8.333 0 8.74 0 12s.015 3.667.072 4.947c.06 1.277.261 2.148.558 2.913.306.788.717 1.459 1.384 2.126.667.666 1.336 1.079 2.126 1.384.766.296 1.636.499 2.913.558C8.333 23.988 8.74 24 12 24s3.667-.015 4.947-.072c1.277-.06 2.148-.262 2.913-.558.788-.306 1.459-.718 2.126-1.384.666-.667 1.079-1.335 1.384-2.126.296-.765.499-1.636.558-2.913.06-1.28.072-1.687.072-4.947s-.015-3.667-.072-4.947c-.06-1.277-.262-2.149-.558-2.913-.306-.789-.718-1.459-1.384-2.126C21.319 1.347 20.651.935 19.86.63c-.765-.297-1.636-.499-2.913-.558C15.667.012 15.26 0 12 0zm0 2.16c3.203 0 3.585.016 4.85.071 1.17.055 1.805.249 2.227.415.562.217.96.477 1.382.896.419.42.679.819.896 1.381.164.422.36 1.057.413 2.227.057 1.266.07 1.646.07 4.85s-.015 3.585-.074 4.85c-.061 1.17-.256 1.805-.421 2.227-.224.562-.479.96-.899 1.382-.419.419-.824.679-1.38.896-.42.164-1.065.36-2.235.413-1.274.057-1.649.07-4.859.07-3.211 0-3.586-.015-4.859-.074-1.171-.061-1.816-.256-2.236-.421-.569-.224-.96-.479-1.379-.899-.421-.419-.69-.824-.9-1.38-.165-.42-.359-1.065-.42-2.235-.045-1.26-.061-1.649-.061-4.844 0-3.196.016-3.586.061-4.861.061-1.17.255-1.814.42-2.234.21-.57.479-.96.9-1.381.419-.419.81-.689 1.379-.898.42-.166 1.051-.361 2.221-.421 1.275-.045 1.65-.06 4.859-.06l.045.03zm0 3.678c-3.405 0-6.162 2.76-6.162 6.162 0 3.405 2.76 6.162 6.162 6.162 3.405 0 6.162-2.76 6.162-6.162 0-3.405-2.76-6.162-6.162-6.162zM12 16c-2.21 0-4-1.79-4-4s1.79-4 4-4 4 1.79 4 4-1.79 4-4 4zm7.846-10.405c0 .795-.646 1.44-1.44 1.44-.795 0-1.44-.646-1.44-1.44 0-.794.646-1.439 1.44-1.439.793-.001 1.44.645 1.44 1.439z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/launch.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg" height="24" viewBox="0 0 24 24" width="24"><path d="M0 0h24v24H0z" fill="none"/><path d="M19 19H5V5h7V3H5c-1.11 0-2 .9-2 2v14c0 1.1.89 2 2 2h14c1.1 0 2-.9 2-2v-7h-2v7zM14 3v2h3.59l-9.83 9.83 1.41 1.41L19 6.41V10h2V3h-7z"/></svg>
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/mail.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M22 6c0-1.1-.9-2-2-2H4c-1.1 0-2 .9-2 2v12c0 1.1.9 2 2 2h16c1.1 0 2-.9 2-2V6zm-2 0l-8 5l-8-5h16zm0 12H4V8l8 5l8-5v10z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/rss-feed.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg"><path d="M0 0h24v24H0V0z" fill="none"/><circle cx="6.18" cy="17.82" r="2.18"/><path d="M4 4.44v2.83c7.03 0 12.73 5.7 12.73 12.73h2.83c0-8.59-6.97-15.56-15.56-15.56zm0 5.66v2.83c3.9 0 7.07 3.17 7.07 7.07h2.83c0-5.47-4.43-9.9-9.9-9.9z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/scientific-python.svg:
--------------------------------------------------------------------------------
1 | <svg viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M20 7.1c-.19-.11-.46-.4-.39-.76.076-.36.063-.59-.26-.97a.683.683 0 0 1-.14-.63.92.92 0 0 0 .063-.16v-.002c.046-.13.072-.28.072-.42 0-.76-.59-1.3-1.3-1.3l-.063.003c-.017 0-.034 0-.05.002h-.006a1.831 1.831 0 0 0-.093.013c-.46.05-.97-.01-1.1-.31-.17-.32-.46-.46-.84-.63-.38-.17-.08-.46-.72-.89-.63-.42-1.4-.19-2.1-.31-.4-.068-.72-.19-.93-.29-.063-.038-.13-.072-.2-.11l-.022-.014h-.004a2.638 2.638 0 0 0-3.1.64l-.013.01c-.46.42-.67.28-1.3.63-.67.35-.55.72-.93 1-.39.29-1.1.098-1.8.42-.63.32-.51.76-.67 1-.19.26-.8.63-1.2.8s-.76.51-.63 1.1c.13.63.29.8.55.93.24.13.46.38.67.67.21.29.27.59.8.89s.55.93.55.93a1.35 1.35 0 0 0-.012.18c0 .76.59 1.3 1.3 1.3.18 0 .35-.036.51-.1h.002c.72-.17.42.46 1 .46s.89-.51 1.3-.46c.42.063.51.24 1.3.63.8.39 1.3-.076 1.3-.076l.29-.63s.46.34.8.39c.34.05.97-.38 1.5-.59s1.1.55 1.9.4c.76-.16 1.1-.67 1.6-.93.51-.25 1.2-.051 1.8-.27.55-.22.29-.76.42-1.1.13-.3.46-.063.59-.67.13-.63-.23-.76-.42-.89zM1 16.4c3-1 6.2-1.6 9.4-1.7-3.3.063-6.5.51-9.6 1.3.036.13.076.27.11.4zm21 0c.041-.13.08-.27.11-.4-3.1-.76-6.3-1.2-9.6-1.3 3.3.084 6.5.67 9.4 1.7zM20.1 19c-.42-3.7-14-2.2-14-3.1-.059-.59 1.8-1 3.1-1.2l-.31.024c-1.6.18-3.9.51-3.8 1.3.2 1.9 9.9.13 10 3 .19 1.5-5.4 2.3-10 2.7 1.8 1.4 4.1 2.2 6.6 2.2 3.1 0 5.8-1.3 7.8-3.3.46-.51.67-1.1.63-1.6zM18.5 6l-.076-.33s-1.6.39-3.5 1.2c-.22.097-.42.19-.63.28.021-.19.055-.51.093-.89.1-.33.3-.46.67-.63.46-.23 1.4-.84 1.4-.84l-.21-.26c-.63.46-1.5.8-1.8.89.059-.93.033-2.4.033-2.4l-.35.32s.021 1.2-.13 2.2c-.13.84-.24 1.5-.59 2-.55.28-.93.51-1.1.63l-.3-3.3c.51-1.2 1.6-2.7 1.6-2.7l-.34-.039s-.8 1.3-1.3 1.8l-.27-3-.3-.11-.17 4c-.72-.55-1.7-2.1-1.7-2.1l-.21.23s.93 1.4 1.4 2.2c.19.27.32.55.41.8l-.11 2.5-.002-.003s-1.2-.97-2.1-1.8c-.14-.14-.3-.32-.46-.51l.003-.097c.035-1.1-.33-3.4-.33-3.4l-.28-.008s.23 1.8.15 3c-.72-.84-1.4-1.8-1.4-1.8l-.21.18c.007.022 1 1.3 1.5 2 .35.46.72.97.97 1.3-.36-.072-1.3-.17-2.2-.41l-.014-.032c-.35-.8-1.1-1.8-1.1-1.8l-.31-.11s.59.97.89 1.8c-.72-.22-1.5-.51-2-.93v.3c1.3 1.2 4 1.6 4.6 1.7.024.006.046.014.072.022-1.2-.041-2.7.3-2.7.3l-.17.42s2.4-.55 3.6-.15c.39.41.72.89.89 1.1.093.14.16.25.22.41h-.004c.009.023.018.043.026.069.076.25.11.59.11 1.3 0 1.2-.08 1.9-.088 2-.027.12-.068.22-.12.26a.85.85 0 0 0-.25.32.44.44 0 0 1-.2.22c-.11.063-.22.23-.32.3-.1.068-.29.1-.29.1l-.76.33h.008c.67-.06 1.3-.097 2-.11.28-.005.55-.01.84-.01s.55.005.84.01c.72.018 1.4.059 2.1.12-.24-.08-.76-.26-.89-.3-.13-.051-.3-.19-.37-.24a1.433 1.433 0 0 0-.25-.16c-.1-.046-.15-.11-.23-.28-.084-.16-.27-.33-.33-.46-.051-.11-.08-1.2-.093-1.7v-2c.16-.28.39-.63.76-1a.795.795 0 0 1 .31.022c.46.12 1.2.38 2.1.8l.08-.2s-1.3-.72-2.1-.97c.2-.17.42-.35.67-.51.27-.18.55-.35.84-.51 1.1.19 3.2.16 3.2.16l.059-.29s-1.5-.027-2.6-.22c1.3-.63 2.7-1 2.7-1z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/sent.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M2.01 21L23 12L2.01 3L2 10l15 2l-15 2z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/tiktok.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg"><path d="M12.525.02c1.31-.02 2.61-.01 3.91-.02.08 1.53.63 3.09 1.75 4.17 1.12 1.11 2.7 1.62 4.24 1.79v4.03c-1.44-.05-2.89-.35-4.2-.97-.57-.26-1.1-.59-1.62-.93-.01 2.92.01 5.84-.02 8.75-.08 1.4-.54 2.79-1.35 3.94-1.31 1.92-3.58 3.17-5.91 3.21-1.43.08-2.86-.31-4.08-1.03-2.02-1.19-3.44-3.37-3.65-5.71-.02-.5-.03-1-.01-1.49.18-1.9 1.12-3.72 2.58-4.96 1.66-1.44 3.98-2.13 6.15-1.72.02 1.48-.04 2.96-.04 4.44-.99-.32-2.15-.23-3.02.37-.63.41-1.11 1.04-1.36 1.75-.21.51-.15 1.07-.14 1.61.24 1.64 1.82 3.02 3.5 2.87 1.12-.01 2.19-.66 2.77-1.61.19-.33.4-.67.41-1.06.1-1.79.06-3.57.07-5.36.01-4.03-.01-8.05.02-12.07z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/twitter.svg:
--------------------------------------------------------------------------------
1 | <svg viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M23.953 4.57a10 10 0 01-2.825.775 4.958 4.958 0 002.163-2.723c-.951.555-2.005.959-3.127 1.184a4.92 4.92 0 00-8.384 4.482C7.69 8.095 4.067 6.13 1.64 3.162a4.822 4.822 0 00-.666 2.475c0 1.71.87 3.213 2.188 4.096a4.904 4.904 0 01-2.228-.616v.06a4.923 4.923 0 003.946 4.827 4.996 4.996 0 01-2.212.085 4.936 4.936 0 004.604 3.417 9.867 9.867 0 01-6.102 2.105c-.39 0-.779-.023-1.17-.067a13.995 13.995 0 007.557 2.209c9.053 0 13.998-7.496 13.998-13.985 0-.21 0-.42-.015-.63A9.935 9.935 0 0024 4.59z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/icons/youtube.svg:
--------------------------------------------------------------------------------
1 | <svg viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M23.498 6.186a3.016 3.016 0 0 0-2.122-2.136C19.505 3.545 12 3.545 12 3.545s-7.505 0-9.377.505A3.017 3.017 0 0 0 .502 6.186C0 8.07 0 12 0 12s0 3.93.502 5.814a3.016 3.016 0 0 0 2.122 2.136c1.871.505 9.376.505 9.376.505s7.505 0 9.377-.505a3.015 3.015 0 0 0 2.122-2.136C24 15.93 24 12 24 12s0-3.93-.502-5.814zM9.545 15.568V8.432L15.818 12l-6.273 3.568z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/js/fresh.js:
--------------------------------------------------------------------------------
 1 | //Preloader
 2 | $(window).on('load', function() { // makes sure the whole site is loaded
 3 |     $('#status').fadeOut(); // will first fade out the loading animation
 4 |     $('#preloader').delay(350).fadeOut('slow'); // will fade out the white DIV that covers the website. 
 5 |     $('body').delay(350).css({'overflow':'visible'});
 6 | })
 7 | 
 8 | $(document).ready(function(){
 9 |     //Mobile menu toggle
10 |     if ($('.navbar-burger').length) {
11 |         $('.navbar-burger').on("click", function(){
12 | 
13 |             var menu_id = $(this).attr('data-target');
14 |             $(this).toggleClass('is-active');
15 |             $("#"+menu_id).toggleClass('is-active');
16 |             $('.navbar.is-light').toggleClass('is-dark-mobile')
17 |         });
18 |     }
19 | 
20 |     //reveal elements on scroll so animations trigger the right way
21 |     var $window           = $(window),
22 |         win_height_padded = $window.height() * 1.1;
23 | 
24 |     $window.on('scroll', revealOnScroll);
25 | 
26 |     function revealOnScroll() {
27 |         var scrolled = $window.scrollTop();
28 |         $(".revealOnScroll:not(.animated)").each(function () {
29 |             var $this     = $(this),
30 |                 offsetTop = $this.offset().top;
31 | 
32 |             if (scrolled + win_height_padded > offsetTop) {
33 |                 if ($this.data('timeout')) {
34 |                     window.setTimeout(function(){
35 |                         $this.addClass('animated ' + $this.data('animation'));
36 |                     }, parseInt($this.data('timeout'),10));
37 |                 } else {
38 |                     $this.addClass('animated ' + $this.data('animation'));
39 |                 }
40 |             }
41 |         });
42 |     }
43 | 
44 |     // Back to Top button behaviour
45 |     var pxShow = 600;
46 |     var scrollSpeed = 500;
47 |     $(window).on("scroll", function() {
48 |         if ($(window).scrollTop() >= pxShow) {
49 |             $("#backtotop").addClass('visible');
50 |         } else {
51 |             $("#backtotop").removeClass('visible');
52 |         }
53 |     });
54 |     $('#backtotop a').on('click', function() {
55 |         $('html, body').animate({
56 |             scrollTop: 0
57 |         }, scrollSpeed);
58 |         return false;
59 |     });
60 | 
61 |     // Select all links with hashes
62 |     $('a[href*="#"]')
63 |     // Remove links that don't actually link to anything
64 |         .not('[href="#"]')
65 |         .not('[href="#0"]')
66 |         .on("click", function(event) {
67 |         // On-page links
68 |         if (
69 |             location.pathname.replace(/^\//, '') == this.pathname.replace(/^\//, '') 
70 |             &&
71 |             location.hostname == this.hostname
72 |         ) {
73 |             // Figure out element to scroll to
74 |             var target = $(this.hash);
75 |             target = target.length ? target : $('[name=' + this.hash.slice(1) + ']');
76 |             // Does a scroll target exist?
77 |             if (target.length) {
78 |                 // Only prevent default if animation is actually gonna happen
79 |                 event.preventDefault();
80 |                 $('html, body').animate({
81 |                     scrollTop: target.offset().top
82 |                 }, 550, function() {
83 |                     // Callback after animation
84 |                     // Must change focus!
85 |                     var $target = $(target);
86 |                     $target.focus();
87 |                     if ($target.is(":focus")) { // Checking if the target was focused
88 |                         return false;
89 |                     } else {
90 |                         $target.attr('tabindex','-1'); // Adding tabindex for elements not focusable
91 |                         $target.focus(); // Set focus again
92 |                     };
93 |                 });
94 |             }
95 |         }
96 |     });
97 | })
98 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/code-highlight.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Generated using:
 4 | 
 5 |    hugo gen chromastyles --style=witchhazel > /assets/css/code-highlight.css
 6 | 
 7 | We replaced the background color, `#433e56`, with `var(--colorPrimaryDark)`.
 8 | 
 9 | */
10 | /* Background */ .chroma { color: #f8f8f2; background-color: var(--colorPrimaryDark) }
11 | /* Error */ .chroma .err { color: #960050; background-color: #1e0010 }
12 | /* LineTableTD */ .chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
13 | /* LineTable */ .chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; width: auto; overflow: auto; display: block; }
14 | /* LineHighlight */ .chroma .hl { display: block; width: 100%;background-color: #555166 }
15 | /* LineNumbersTable */ .chroma .lnt { margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
16 | /* LineNumbers */ .chroma .ln { margin-right: 0.4em; padding: 0 0.4em 0 0.4em;color: #7f7f7f }
17 | /* Keyword */ .chroma .k { color: #c2ffdf }
18 | /* KeywordConstant */ .chroma .kc { color: #c2ffdf }
19 | /* KeywordDeclaration */ .chroma .kd { color: #c2ffdf }
20 | /* KeywordNamespace */ .chroma .kn { color: #ffb8d1 }
21 | /* KeywordPseudo */ .chroma .kp { color: #c2ffdf }
22 | /* KeywordReserved */ .chroma .kr { color: #c2ffdf }
23 | /* KeywordType */ .chroma .kt { color: #c2ffdf }
24 | /* NameAttribute */ .chroma .na { color: #ceb1ff }
25 | /* NameBuiltinPseudo */ .chroma .bp { color: #80cbc4 }
26 | /* NameClass */ .chroma .nc { color: #ceb1ff }
27 | /* NameConstant */ .chroma .no { color: #c5a3ff }
28 | /* NameDecorator */ .chroma .nd { color: #ceb1ff }
29 | /* NameException */ .chroma .ne { color: #ceb1ff }
30 | /* NameFunction */ .chroma .nf { color: #ceb1ff }
31 | /* NameTag */ .chroma .nt { color: #ffb8d1 }
32 | /* Literal */ .chroma .l { color: #ae81ff }
33 | /* LiteralDate */ .chroma .ld { color: #e6db74 }
34 | /* LiteralString */ .chroma .s { color: #1bc5e0 }
35 | /* LiteralStringAffix */ .chroma .sa { color: #1bc5e0 }
36 | /* LiteralStringBacktick */ .chroma .sb { color: #1bc5e0 }
37 | /* LiteralStringChar */ .chroma .sc { color: #1bc5e0 }
38 | /* LiteralStringDelimiter */ .chroma .dl { color: #1bc5e0 }
39 | /* LiteralStringDoc */ .chroma .sd { color: #1bc5e0 }
40 | /* LiteralStringDouble */ .chroma .s2 { color: #1bc5e0 }
41 | /* LiteralStringEscape */ .chroma .se { color: #1bc5e0 }
42 | /* LiteralStringHeredoc */ .chroma .sh { color: #1bc5e0 }
43 | /* LiteralStringInterpol */ .chroma .si { color: #1bc5e0 }
44 | /* LiteralStringOther */ .chroma .sx { color: #1bc5e0 }
45 | /* LiteralStringRegex */ .chroma .sr { color: #1bc5e0 }
46 | /* LiteralStringSingle */ .chroma .s1 { color: #1bc5e0 }
47 | /* LiteralStringSymbol */ .chroma .ss { color: #1bc5e0 }
48 | /* LiteralNumber */ .chroma .m { color: #c5a3ff }
49 | /* LiteralNumberBin */ .chroma .mb { color: #c5a3ff }
50 | /* LiteralNumberFloat */ .chroma .mf { color: #c5a3ff }
51 | /* LiteralNumberHex */ .chroma .mh { color: #c5a3ff }
52 | /* LiteralNumberInteger */ .chroma .mi { color: #c5a3ff }
53 | /* LiteralNumberIntegerLong */ .chroma .il { color: #c5a3ff }
54 | /* LiteralNumberOct */ .chroma .mo { color: #c5a3ff }
55 | /* Operator */ .chroma .o { color: #ffb8d1 }
56 | /* OperatorWord */ .chroma .ow { color: #ffb8d1 }
57 | /* Comment */ .chroma .c { color: #b0bec5 }
58 | /* CommentHashbang */ .chroma .ch { color: #b0bec5 }
59 | /* CommentMultiline */ .chroma .cm { color: #b0bec5 }
60 | /* CommentSingle */ .chroma .c1 { color: #b0bec5 }
61 | /* CommentSpecial */ .chroma .cs { color: #b0bec5 }
62 | /* CommentPreproc */ .chroma .cp { color: #b0bec5 }
63 | /* CommentPreprocFile */ .chroma .cpf { color: #b0bec5 }
64 | /* GenericDeleted */ .chroma .gd { color: #f92672 }
65 | /* GenericEmph */ .chroma .ge { font-style: italic }
66 | /* GenericInserted */ .chroma .gi { color: #a6e22e }
67 | /* GenericStrong */ .chroma .gs { font-weight: bold }
68 | /* GenericSubheading */ .chroma .gu { color: #75715e }
69 | /* TextWhitespace */ .chroma .w { color: #a8757b }
70 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/content.css:
--------------------------------------------------------------------------------
 1 | .content-padding {
 2 |     display: flex;
 3 |     justify-content: center;
 4 |     padding: 75px 15px 125px 15px;
 5 | }
 6 | 
 7 | .content-container {
 8 |     max-width: 850px;
 9 |     margin: 0 30px;
10 |     overflow: hidden;
11 | }
12 | 
13 | .content-container ul {
14 |     list-style-type: circle;
15 |     padding: 10px;
16 |     margin-left: 15px;
17 | }
18 | 
19 | .content-container  ol {
20 |     padding: 10px;
21 |     margin-left: 15px;
22 | }
23 | 
24 | .content-container h1 {
25 |     font-size: 2em;
26 |     text-transform: uppercase;
27 |     letter-spacing: 1.5px;
28 |     font-weight: bold;
29 | }
30 | 
31 | .content-container .divider {
32 |     height: 3px;
33 |     border-radius: 50px;
34 |     background: var(--colorPrimaryDark);
35 |     width: 60px;
36 |     &.is-centered {
37 |         margin: 0 auto;
38 |     }
39 | }
40 | 
41 | .content-container h2 {
42 |     font-size: 1.4em;
43 |     text-transform: uppercase;
44 |     letter-spacing: 1.3px;
45 |     font-weight: bold;
46 |     margin-top:30px;
47 | }
48 | 
49 | .content-container h3 {
50 |     font-size: 1.2em;
51 |     text-transform: uppercase;
52 |     letter-spacing: 1.3px;
53 |     font-weight: bold;
54 |     margin-top: 25px;
55 | }
56 | 
57 | .content-container h4 {
58 |     font-size: 1.1em;
59 |     text-transform: uppercase;
60 |     letter-spacing: 1.2px;
61 |     font-weight: bold;
62 |     margin-top: 23px;
63 | }
64 | 
65 | .content-container h5 {
66 |     font-size: 1em;
67 |     text-transform: uppercase;
68 |     letter-spacing: 1.1px;
69 |     font-weight: bold;
70 |     margin-top: 22px;
71 | }
72 | 
73 | .content-container h6 {
74 |     font-size: .9em;
75 |     text-transform: uppercase;
76 |     letter-spacing: 1px;
77 |     font-weight: bold;
78 |     margin-top: 21px;
79 | }
80 | 
81 | /* Override bulma .label font-weight, which otherwise impacts on g.label used by mermaid */
82 | g.label {
83 |   font-weight: normal;
84 | }
85 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/fresh/core.scss:
--------------------------------------------------------------------------------
 1 | /* ==========================================================================
 2 | Main SCSS file / Fresh
 3 | ========================================================================== */
 4 | 
 5 | //Imports
 6 | @import 'partials/colors';
 7 | @import 'partials/navbar';
 8 | @import 'partials/animations';
 9 | @import 'partials/utils';
10 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/fresh/partials/_animations.scss:
--------------------------------------------------------------------------------
  1 | /* ==========================================================================
  2 | General Keyframes animations
  3 | ========================================================================== */
  4 | 
  5 | .animated {
  6 |     animation-duration: 0.5s;
  7 |     animation-fill-mode: both;
  8 |     -webkit-animation-duration: 0.5s;
  9 |     -webkit-animation-fill-mode: both;
 10 | }
 11 | 
 12 | //Delays
 13 | .delay-1 {
 14 |     animation-delay: .25s;
 15 | }
 16 | .delay-2 {
 17 |     animation-delay: .5s;
 18 | }
 19 | .delay-3 {
 20 |     animation-delay: .75s;
 21 | }
 22 | .delay-4 {
 23 |     animation-delay: 1s;
 24 | }
 25 | 
 26 | // FADE IN LEFT 
 27 | @keyframes fadeInLeft {
 28 |     from {
 29 |         -webkit-transform: translate3d(20px, 0, 0);
 30 |         transform: translate3d(20px, 0, 0);
 31 |         opacity: 0;
 32 |     }
 33 |     to {
 34 |         -webkit-transform: translate3d(0, 0, 0);
 35 |         transform: translate3d(0, 0, 0);
 36 |         opacity: 1;
 37 |     }
 38 | }
 39 | @-webkit-keyframes fadeInLeft {
 40 |     from {
 41 |         -webkit-transform: translate3d(20px, 0, 0);
 42 |         transform: translate3d(20px, 0, 0);
 43 |         opacity: 0;
 44 |     }
 45 |     to {
 46 |         -webkit-transform: translate3d(0, 0, 0);
 47 |         transform: translate3d(0, 0, 0);
 48 |         opacity: 1;
 49 |     }
 50 | }
 51 | 
 52 | .preFadeInLeft {
 53 |     opacity: 0;
 54 | }
 55 | 
 56 | .fadeInLeft {
 57 |     opacity: 0;
 58 |     animation-name: fadeInLeft;
 59 |     -webkit-animation-name: fadeInLeft;
 60 | }
 61 | 
 62 | // FADE IN UP 
 63 | @keyframes fadeInUp {
 64 |     from {
 65 |         -webkit-transform: translate3d(0, 20px, 0);
 66 |         transform: translate3d(0, 20px, 0);
 67 |     }
 68 |     to {
 69 |         -webkit-transform: translate3d(0, 0, 0);
 70 |         transform: translate3d(0, 0, 0);
 71 |         opacity: 1;
 72 |     }
 73 | }
 74 | @-webkit-keyframes fadeInUp {
 75 |     from {
 76 |         -webkit-transform: translate3d(0, 20px, 0);
 77 |         transform: translate3d(0, 20px, 0);
 78 |     }
 79 |     to {
 80 |         -webkit-transform: translate3d(0, 0, 0);
 81 |         transform: translate3d(0, 0, 0);
 82 |         opacity: 1;
 83 |     }
 84 | }
 85 | .preFadeInUp {
 86 |     opacity: 0;
 87 | }
 88 | .fadeInUp {
 89 |     opacity: 0;
 90 |     animation-name: fadeInUp;
 91 |     -webkit-animation-name: fadeInUp;
 92 | }
 93 | 
 94 | //Gelatine
 95 | .gelatine {
 96 |     animation: gelatine 0.6s;
 97 |     animation-duration: 0.6s;
 98 |     -webkit-animation-duration: 0.5s;
 99 |     animation-fill-mode: both;
100 |     -webkit-animation-fill-mode: both;
101 | }
102 | 
103 | @keyframes gelatine {
104 |   from, to { transform: scale(1, 1); }
105 |   25% { transform: scale(0.9, 1.1); }
106 |   50% { transform: scale(1.1, 0.9); }
107 |   75% { transform: scale(0.95, 1.05); }
108 | }


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/fresh/partials/_colors.scss:
--------------------------------------------------------------------------------
 1 | /* ==========================================================================
 2 | Color variables
 3 | ========================================================================== */
 4 | 
 5 | $white: #fff;
 6 | $smoke-white: #fcfcfc;
 7 | $grey-white: #f2f2f2;
 8 | 
 9 | $primary: #4FC1EA;
10 | $secondary: #F39200;
11 | $accent: #00efb7;
12 | 
13 | $fade-grey: #ededed;
14 | $light-grey: #EFF4F7;
15 | $title-grey: #A9ABAC;
16 | $blue-grey: #444F60;
17 | $muted-grey: #999;
18 | $light-blue-grey: #98a9c3;
19 | $medium-grey: #66676b;
20 | $basaltic-grey: #878787;
21 | $purple: #7F00FF;
22 | $mint: #11FFBD;
23 | $bloody: #FC354C;
24 | $pinky: #ff00cc;
25 | $frost: #004e92;
26 | $placeholder: #cecece;
27 | $dark-grey: #344258;
28 | $border-grey: #ccc;
29 | $muted-grey: #999;
30 | $section-grey: #fbfbfb;


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/fresh/partials/_navbar.scss:
--------------------------------------------------------------------------------
  1 | /* ==========================================================================
  2 | Navbar
  3 | ========================================================================== */
  4 | 
  5 | //Navbar
  6 | .navbar.is-fresh {
  7 |     position: relative;
  8 |     min-height: 3.8rem;
  9 |     transition: all .3s;
 10 |     z-index: 99;
 11 |     .container {
 12 |         min-height: 4rem;
 13 |     }
 14 |     &.no-shadow {
 15 |         box-shadow: none !important;
 16 |     }
 17 |     //Responsive menu icon
 18 |     .navbar-burger {
 19 |         width: 4rem;
 20 |         height: 4rem;
 21 |     }
 22 |     //Brand
 23 |     .navbar-brand {
 24 |         min-height: 4rem;
 25 |         img {
 26 |             max-height: 36px !important;
 27 |             height: 36px;
 28 |         }
 29 |         //Removing navbar item default hover behaviour
 30 |         &:hover {
 31 |             .navbar-item {
 32 |                 background: transparent !important;
 33 |             }
 34 |         }
 35 |     }
 36 |     .navbar-end {
 37 |         align-items: center;
 38 |     }
 39 |     //Navbar items
 40 |     .navbar-item {
 41 |         &.has-dropdown {
 42 |             padding: 10px 0;
 43 |             .navbar-link {
 44 |                 color: $muted-grey;
 45 |                 &:after {
 46 |                     top: 55%;
 47 |                     height: 0.5em;
 48 |                     width: 0.5em;
 49 |                     border-width: 2px;
 50 |                     border-color: $muted-grey;
 51 |                 }
 52 |             }
 53 |             .navbar-dropdown {
 54 |                 top: 3.4rem;
 55 |                 min-width: 220px;
 56 |                 margin-top: 4px;
 57 |                 border-top-color: $secondary;
 58 |                 .navbar-item {
 59 |                     padding: 10px 20px;
 60 |                 }
 61 |             }
 62 |             &:hover {
 63 |                 .navbar-link {
 64 |                     color: $secondary;
 65 |                     &:after {
 66 |                         border-color: $secondary;
 67 |                     }
 68 |                 }
 69 |             }
 70 |         }
 71 |         .signup {
 72 |             display: block;
 73 |             line-height: 0;
 74 |             font-size: .9rem !important;
 75 |         }
 76 |     }
 77 | 
 78 |     //Fixed navbar modifier
 79 |     &.is-fixed {
 80 |         position: fixed;
 81 |         top: 0;
 82 |         left: 0;
 83 |         width: 100%;
 84 |         min-height: 4rem !important;
 85 |         background: $white;
 86 |         box-shadow: 0 0 8px 0 rgba(0, 0, 0, 0.12);
 87 |         a {
 88 |             color: $blue-grey;
 89 |             &:hover {
 90 |                 color: $primary;
 91 |             }
 92 |         }
 93 |     }
 94 | }
 95 | 
 96 | //Cloned fixed navbar
 97 | #navbar-clone {
 98 |     position: fixed;
 99 |     top: 0;
100 |     left: 0;
101 |     width: 100%;
102 |     background: $white;
103 |     transform: translateY(-100%);
104 |     z-index: 100;
105 |     box-shadow: 0 0 8px 0 rgba(0, 0, 0, 0.12);
106 |     &.is-active {
107 |         transform: translateY(0); 
108 |     }
109 | }
110 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/fresh/partials/_utils.scss:
--------------------------------------------------------------------------------
  1 | // Resets
  2 | section:focus {
  3 |     outline: none !important;
  4 | }
  5 | 
  6 | button {
  7 |     &:focus, &:active {
  8 |         outline: none;
  9 |     }
 10 | }
 11 | 
 12 | // Preloader 
 13 | #preloader {
 14 |     position: fixed;
 15 |     top: 0;
 16 |     left: 0;
 17 |     right: 0;
 18 |     bottom: 0;
 19 |     background-color: $white;
 20 |     z-index: 99;
 21 | }
 22 | 
 23 | #status {
 24 |     width: 200px;
 25 |     height: 200px;
 26 |     position: absolute;
 27 |     left: 50%;
 28 |     // centers the loading animation horizontally on the screen 
 29 |     top: 50%;
 30 |     // centers the loading animation vertically on the screen 
 31 |     background-image: url(../../images/loaders/rings.svg);
 32 |     background-size: 80px 80px;
 33 |     // path to loading animation 
 34 |     background-repeat: no-repeat;
 35 |     background-position: center;
 36 |     margin: -100px 0 0 -100px;
 37 |     // width and height divided by two 
 38 | }
 39 | 
 40 | // Back to top button
 41 | #backtotop {
 42 |     position: fixed;
 43 |     right: 0;
 44 |     opacity: 0;
 45 |     visibility: hidden;
 46 |     bottom: 25px;
 47 |     margin: 0 25px 0 0;
 48 |     z-index: 9999;
 49 |     transition: 0.35s;
 50 |     transform: scale(0.7);
 51 |     transition: all 0.5s;
 52 | }
 53 | 
 54 | #backtotop.visible {
 55 |     opacity: 1;
 56 |     visibility: visible;
 57 |     transform: scale(1);
 58 | 
 59 | }
 60 | 
 61 | #backtotop.visible a:hover {
 62 |     outline: none;
 63 |     opacity: 0.9;
 64 |     background: $secondary;
 65 | }
 66 | 
 67 | #backtotop a {
 68 |     outline: none;
 69 |     text-decoration: none;
 70 |     border: 0 none;
 71 |     display: block;
 72 |     width: 46px;
 73 |     height: 46px;
 74 |     background-color: $medium-grey;
 75 |     opacity: 1;
 76 |     transition: all 0.3s;
 77 |     border-radius: 50%;
 78 |     text-align: center;
 79 |     font-size: 26px
 80 | }
 81 | 
 82 | body #backtotop a {
 83 |     outline: none;
 84 |     color: #fff;
 85 | }
 86 | 
 87 | #backtotop a:after {
 88 |     outline: none;
 89 |     content: "⮝";
 90 |     position: relative;
 91 |     display: block;
 92 |     top: 50%;
 93 |     -webkit-transform: translateY(-55%);
 94 |     transform: translateY(-55%);
 95 | }
 96 | 
 97 | 
 98 | //Helpers
 99 | .is-disabled {
100 |     pointer-events: none;
101 |     opacity: 0.4;
102 |     cursor: default !important;
103 | }
104 | 
105 | .is-hidden {
106 |     display: none !important;
107 | }
108 | 
109 | .stuck {
110 |     position:fixed !important;
111 |     top: 0 !important;
112 |     z-index: 2 !important;
113 | }
114 | 
115 | .light-text {
116 |     color: $white !important;
117 | }
118 | 
119 | .mb-20 {
120 |     margin-bottom: 20px;
121 | }
122 | 
123 | .mb-40 {
124 |     margin-bottom: 40px;
125 | }
126 | 
127 | .mb-60 {
128 |     margin-bottom: 60px;
129 | }
130 | 
131 | .mt-20 {
132 |     margin-top: 20px;
133 | }
134 | 
135 | .mt-40 {
136 |     margin-top: 40px;
137 | }
138 | 
139 | .mt-50 {
140 |     margin-top: 50px;
141 | }
142 | 
143 | .mt-60 {
144 |     margin-top: 60px;
145 | }
146 | 
147 | .ml-30 {
148 |     margin-left: 30px;
149 | }
150 | 
151 | .huge-pb {
152 |     padding-bottom: 100px;
153 | }
154 | 
155 | .pb-20 {
156 |     padding-bottom: 20px !important;
157 | }
158 | 
159 | .pb-40 {
160 |     padding-bottom: 40px !important;
161 | }
162 | 
163 | //Input placeholders
164 | ::-webkit-input-placeholder { /* Chrome/Opera/Safari */
165 |     color: $placeholder;
166 | }
167 | ::-moz-placeholder { /* Firefox 19+ */
168 |     color: $placeholder;
169 | }
170 | :-ms-input-placeholder { /* IE 10+ */
171 |     color: $placeholder;
172 | }
173 | :-moz-placeholder { /* Firefox 18- */
174 |     color: $placeholder;
175 | }
176 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/keyfeatures.css:
--------------------------------------------------------------------------------
  1 | .keyfeatures {
  2 |     margin: 15px 0;
  3 | }
  4 | 
  5 | .keyfeatures .container {
  6 |     display: flex;
  7 |     flex-direction: column;
  8 | }
  9 | 
 10 | .keyfeatures-box-container {
 11 |     display: flex;
 12 |     flex-wrap: wrap;
 13 |     justify-content: center;
 14 | }
 15 | 
 16 | .keyfeatures-box-content {
 17 |     height: 200px;
 18 |     min-width: 275px;
 19 |     width: 335px;
 20 |     margin: 25px auto;
 21 |     border-radius: 3px;
 22 | }
 23 | 
 24 | .keyfeatures-box-title {
 25 |     margin: 15px;
 26 |     font-size: 16px;
 27 |     text-transform: uppercase;
 28 | }
 29 | 
 30 | .keyfeatures-box-text > a {
 31 |     color: var(--colorPrimary);
 32 | }
 33 | 
 34 | .keyfeatures-box-text {
 35 |     margin: 15px;
 36 |     font-size: 14px;
 37 |     height: 6em;
 38 |     overflow: hidden;
 39 | }
 40 | 
 41 | .keyfeatures-box-text:after {
 42 |     content: "";
 43 |     text-align: right;
 44 |     position: absolute;
 45 |     bottom:30px;
 46 |     right: 0;
 47 |     width: 70%;
 48 |     height: 1.2em;
 49 |     background: linear-gradient(to right, rgba(255, 255, 255, 0), rgba(255, 255, 255, 1) 50%);
 50 | }
 51 | 
 52 | .keyfeatures-box-content:hover > .keyfeatures-box-text, .keyfeatures-box-content:focus > .keyfeatures-box-text, .keyfeatures-box-content:active > .keyfeatures-box-text {
 53 |     color: var(--colorSecondaryDark);
 54 | }
 55 | 
 56 | @media only screen and (max-width: 1280px) {
 57 |     .keyfeatures .container {
 58 |         align-items: center;
 59 |         justify-content: center;
 60 |     }
 61 | 
 62 |     .keyfeatures-box-container {
 63 |         justify-content: center;
 64 |     }
 65 | }
 66 | 
 67 | @media only screen and (max-width: 1090px) {
 68 |     .keyfeatures .container {
 69 |         margin: 0 6vw;
 70 |     }
 71 | }
 72 | 
 73 | @media only screen and (max-width: 425px) {
 74 |     .keyfeatures .container {
 75 |         align-items: center;
 76 |         justify-content: center;
 77 |         margin: 0 10%;
 78 |     }
 79 | }
 80 | 
 81 | .keyfeatures-underline {
 82 |     display: inline-block;
 83 |     vertical-align: middle;
 84 |     -webkit-transform: perspective(1px) translateZ(0);
 85 |     transform: perspective(1px) translateZ(0);
 86 |     /* Black, with 10% opacity */
 87 |     box-shadow: 0px 8px 15px var(--colorShadow);
 88 |     position: relative;
 89 |     overflow: hidden;
 90 | }
 91 | 
 92 | .keyfeatures-underline:before {
 93 |     content: "";
 94 |     position: absolute;
 95 |     z-index: -1;
 96 |     left: 0;
 97 |     right: 100%;
 98 |     bottom: 0;
 99 |     background: #013243;
100 |     height: 4px;
101 |     -webkit-transition-property: right;
102 |     transition-property: right;
103 |     -webkit-transition-duration: 0.3s;
104 |     transition-duration: 0.3s;
105 |     -webkit-transition-timing-function: ease-out;
106 |     transition-timing-function: ease-out;
107 | }
108 | 
109 | .keyfeatures-underline:hover:before, .keyfeatures-underline:focus:before, .keyfeatures-underline:active:before {
110 |     right: 0;
111 | }
112 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/news.css:
--------------------------------------------------------------------------------
 1 | .news-container {
 2 |     display: flex;
 3 |     justify-content: center;
 4 |     align-items: center;
 5 |     width: 100vw;
 6 |     min-height: 45px;
 7 |     background-color: var(--colorPrimaryDark);
 8 |     color: var(--colorSecondaryLight);
 9 |     white-space: nowrap;
10 | }
11 | 
12 | .news-container a {
13 |     color: var(--colorSecondaryLight);
14 | }
15 | 
16 | .news-container a:hover {
17 |     color: var(--colorSecondaryLight);
18 | }
19 | 
20 | .news-title {
21 |     display: flex;
22 |     letter-spacing: 1.5px;
23 |     font-size: 27px;
24 |     font-weight: bold;
25 |     margin: 10px;
26 |     margin-right: 20px;
27 | }
28 | 
29 | @media only screen and (max-width: 1300px) {
30 |     .news-container {
31 |         white-space: unset;
32 |     }
33 | 
34 |     .news-title {
35 |         text-align: center;
36 |     }
37 | }
38 | 
39 | @media only screen and (max-width: 1090px) {
40 |     .news-container {
41 |         flex-direction: column;
42 |         padding: 30px;
43 |     }
44 | 
45 |     .news-date {
46 |         text-align: center;
47 |     }
48 | }
49 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/notices.css:
--------------------------------------------------------------------------------
 1 | .notice {
 2 |   margin-top: 0rem;
 3 |   margin-bottom: 0rem;
 4 |   color: #666;
 5 | }
 6 | 
 7 | .notice-type {
 8 |   font-size: 1rem;
 9 |   font-weight: bold;
10 |   padding: 0rem 1rem 0rem 1rem;
11 |   width: 100%;
12 |   color: white;
13 |   display: inline-block;
14 | }
15 | 
16 | .notice-content {
17 |   padding: 0.5rem 1rem 0.5rem 1rem;
18 | }
19 | 
20 | .note-notice .notice-type {
21 |   background: var(--colorNoteHeading);
22 | }
23 | .note-notice .notice-content {
24 |   background: var(--colorNoteContent);
25 | }
26 | 
27 | .info-notice .notice-type {
28 |   background: var(--colorInfoHeading);
29 | }
30 | .info-notice .notice-content {
31 |   background: var(--colorInfoContent);
32 | }
33 | 
34 | .warning-notice .notice-type {
35 |   background: var(--colorWarningHeading);
36 | }
37 | .warning-notice .notice-content {
38 |   background: var(--colorWarningContent);
39 | }
40 | 
41 | .tip-notice .notice-type {
42 |   background: var(--colorTipHeading);
43 | }
44 | .tip-notice .notice-content {
45 |   background: var(--colorTipContent);
46 | }
47 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/panel.css:
--------------------------------------------------------------------------------
  1 | .panel {
  2 |     margin: 15px 0;
  3 | }
  4 | 
  5 | .panel .container {
  6 |     display: flex;
  7 |     flex-direction: column;
  8 | }
  9 | 
 10 | .panel-box-container {
 11 |     display: flex;
 12 |     flex-wrap: wrap;
 13 |     justify-content: center;
 14 | }
 15 | 
 16 | .panel-box-content {
 17 |     height: 140px;
 18 |     min-width: 275px;
 19 |     width: 335px;
 20 |     margin: 25px 15px 25px 15px;
 21 |     border-radius: 3px;
 22 | }
 23 | 
 24 | .panel-box-text > a {
 25 |     color: var(--colorPrimary);
 26 | }
 27 | 
 28 | .panel-box-text {
 29 |     margin: 15px;
 30 |     font-size: 14px;
 31 |     height: 4em;
 32 |     overflow: hidden;
 33 |     padding-top: 10px;
 34 | }
 35 | 
 36 | .panel-box-text:after {
 37 |     content: "";
 38 |     text-align: right;
 39 |     position: absolute;
 40 |     bottom: 30px;
 41 |     right: 0;
 42 |     width: 70%;
 43 |     height: 1.2em;
 44 | }
 45 | 
 46 | .panel-box-action {
 47 |     text-align: center;
 48 |     font-weight: bold;
 49 | }
 50 | 
 51 | 
 52 | .panel-box-content:hover > .panel-box-text, .panel-box-content:focus > .panel-box-text, .panel-box-content:active > .panel-box-text {
 53 |     color: var(--colorSecondaryDark);
 54 | }
 55 | 
 56 | @media only screen and (max-width: 1280px) {
 57 |     .panel .container {
 58 |         align-items: center;
 59 |         justify-content: center;
 60 |     }
 61 | 
 62 |     .panel-box-container {
 63 |         justify-content: center;
 64 |     }
 65 | }
 66 | 
 67 | @media only screen and (max-width: 1090px) {
 68 |     .panel .container {
 69 |         margin: 0 6vw;
 70 |     }
 71 | }
 72 | 
 73 | @media only screen and (max-width: 425px) {
 74 |     .panel .container {
 75 |         align-items: center;
 76 |         justify-content: center;
 77 |         margin: 0 10%;
 78 |     }
 79 | }
 80 | 
 81 | .panel-underline {
 82 |     display: inline-block;
 83 |     vertical-align: middle;
 84 |     -webkit-transform: perspective(1px) translateZ(0);
 85 |     transform: perspective(1px) translateZ(0);
 86 |     /* Black, with 10% opacity */
 87 |     box-shadow: 0px 8px 15px var(--colorShadow);
 88 |     position: relative;
 89 |     overflow: hidden;
 90 | }
 91 | 
 92 | .panel-underline:before {
 93 |     content: "";
 94 |     position: absolute;
 95 |     z-index: -1;
 96 |     left: 0;
 97 |     right: 100%;
 98 |     bottom: 0;
 99 |     background: #013243;
100 |     height: 4px;
101 |     -webkit-transition-property: right;
102 |     transition-property: right;
103 |     -webkit-transition-duration: 0.3s;
104 |     transition-duration: 0.3s;
105 |     -webkit-transition-timing-function: ease-out;
106 |     transition-timing-function: ease-out;
107 | }
108 | 
109 | .panel-underline:hover:before, .panel-underline:focus:before, .panel-underline:active:before {
110 |     right: 0;
111 | }
112 | 
113 | .panel-button {
114 |     border: 2px solid var(--colorPrimary);
115 |     background-color: var(--colorLight);
116 |     color: var(--colorPrimary);
117 |     font-size: 16px;
118 |     cursor: pointer;
119 |     padding-bottom: calc(.5em - 1px);
120 |     padding-left: 1em;
121 |     padding-right: 1em;
122 |     padding-top: calc(.5em - 1px);
123 | }
124 | 
125 | 
126 | .panel-box-action a:hover {
127 |     outline: none;
128 |     border-color: var(--colorPrimary);
129 |     background-color: var(--colorPrimary);
130 |     color: var(--colorSecondaryLight);
131 |     cursor: pointer;
132 |     padding-bottom: calc(.5em - 1px);
133 |     padding-left: 1em;
134 |     padding-right: 1em;
135 |     padding-top: calc(.5em - 1px);
136 |     text-decoration: none;
137 | }
138 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/posts.css:
--------------------------------------------------------------------------------
 1 | .post-list article {
 2 |   padding-top: 1.5rem;
 3 |   padding-bottom: 1.5rem;
 4 | }
 5 | 
 6 | .post-list .post-title {
 7 |   font-size: 1.25rem;
 8 |   text-transform: uppercase;
 9 |   letter-spacing: 1.5px;
10 |   font-weight: bold;
11 |   padding-bottom: 0.5rem;
12 | }
13 | 
14 | .post-author {
15 |   color: var(--colorSecondaryDark);
16 |   display: inline;
17 | }
18 | 
19 | .post-author:not(:first-child):before {
20 |   content: ", ";
21 | }
22 | 
23 | .post-list .post-date {
24 |   color: var(--colorSecondaryDark);
25 | }
26 | 
27 | .post-list .post-summary {
28 |   padding-top: 0.5rem;
29 | }
30 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/shortcuts.css:
--------------------------------------------------------------------------------
 1 | .shortcuts-container {
 2 |   position: sticky;
 3 |   align-self: flex-start;
 4 |   top: 6rem;
 5 |   width: 100%;
 6 |   max-width: 150px;
 7 |   margin: 75px 15px;
 8 | }
 9 | 
10 | .shortcuts-title {
11 |   font-size: 1.1rem;
12 |   opacity: 0.75;
13 | }
14 | 
15 | .shortcuts-title img {
16 |   padding-right: 0.75rem;
17 |   opacity: 0.5;
18 |   vertical-align: middle;
19 | }
20 | 
21 | #shortcuts {
22 |   margin-top: 10px;
23 | }
24 | 
25 | #shortcuts > div:not(.active) {
26 |   margin-left: 2px;
27 |   border-left: 1px solid var(--colorPrimaryDark);
28 |   opacity: 0.75;
29 | }
30 | 
31 | #shortcuts > div.active {
32 |   font-weight: bold;
33 |   color: var(--colorPrimaryDark);
34 |   border-left: 5px solid var(--colorPrimaryDark);
35 | }
36 | 
37 | .shortcuts-H2 {
38 |   padding: 5px 5px 0 15px;
39 |   font-size: 15px;
40 |   cursor: pointer;
41 | }
42 | 
43 | .shortcuts-H3 {
44 |   padding: 5px 5px 0 25px;
45 |   font-size: 14px;
46 |   cursor: pointer;
47 | }
48 | 
49 | @media only screen and (max-width: 1090px) {
50 |   .shortcuts-container {
51 |     display: none;
52 |   }
53 | }
54 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/tables.css:
--------------------------------------------------------------------------------
 1 | table td:not(:last-child), table th {
 2 |   padding-bottom: 0.25rem;
 3 | }
 4 | 
 5 | table td:not:first-child, table th:not:first-child {
 6 |   padding-left: 0.5rem;
 7 | }
 8 | 
 9 | table td:not(:last-child), table th:not(:last-child) {
10 |   padding-right: 0.5rem;
11 | }
12 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/teams.css:
--------------------------------------------------------------------------------
 1 | .team {
 2 |   padding-bottom: 2rem;
 3 | }
 4 | 
 5 | .team .members {
 6 |   display: flex;
 7 |   flex-wrap: wrap;
 8 | }
 9 | 
10 | .team .member {
11 |   width: 11rem;
12 |   display: flex;
13 |   flex-direction: column;
14 |   padding-right: 1.25rem;
15 |   padding-top: 1.25rem;
16 |   padding-bottom: 1.25rem;
17 |   text-align: center;
18 |   vertical-align: top;
19 | }
20 | 
21 | .team .member .photo img {
22 |   width: 60px;
23 |   border-radius: 50%;
24 |   margin-bottom: 0.5rem;
25 | }
26 | 
27 | .team .member .name {
28 |   font-weight: bold;
29 | }
30 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/vars.css:
--------------------------------------------------------------------------------
 1 | :root {
 2 |   --fontFamily: {{ .Site.Params.font.name }};
 3 | 
 4 |   --colorPrimaryDark:  rgb(1, 50, 67);
 5 |   --colorPrimary: rgb(77, 119, 207);
 6 |   --colorPrimaryLight: rgb(77, 171, 207);
 7 | 
 8 |   --colorSecondaryDark: rgb(108, 122, 137);
 9 |   --colorSecondary: rgb(238, 238, 238);
10 |   --colorSecondaryLight: rgb(255, 255, 255);
11 | 
12 |   --colorHighlight: rgb(255, 197, 83);
13 |   --colorShadow: rgba(0, 0, 0, 0.1);
14 |   --colorContentLink: rgb(30, 135, 240);
15 | 
16 |   --colorIcon: rgb(30, 135, 240);
17 | 
18 |   --colorNoteHeading: #6AB0DE;
19 |   --colorNoteContent: #E7F2FA;
20 | 
21 |   --colorInfoHeading: #F0B37E;
22 |   --colorInfoContent: #FFF2DB;
23 | 
24 |   --colorWarningHeading: rgba(217, 83, 79, 0.8);
25 |   --colorWarningContent: #FAE2E2;
26 | 
27 |   --colorTipHeading: rgba(92, 184, 92, 0.8);
28 |   --colorTipContent: #E6F9E6;
29 | }
30 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/assets/theme-css/videos.css:
--------------------------------------------------------------------------------
 1 | .youtube {
 2 |   width: 100%;
 3 |   display: flex;
 4 |   flex-direction: column;
 5 | }
 6 | 
 7 | .youtube iframe {
 8 |   width: 640px;
 9 |   max-width: 100%;
10 |   height: 360px;
11 |   margin-top: 1rem;
12 |   margin-bottom: 0rem;
13 | }
14 | 
15 | .youtube .video-meta {
16 |   padding-top: 0.75rem;
17 |   padding-bottom: 1.5rem;
18 |   font-weight: bold;
19 |   padding-bottom: 0.5rem;
20 | }
21 | 
22 | .youtube .video-title {
23 | }
24 | 
25 | .video-transcript-button {
26 |   width: 640px;
27 |   max-width: 100%;
28 |   background-color: #ddd;
29 |   color: #444;
30 |   cursor: pointer;
31 |   padding: 1rem;
32 |   border: none;
33 |   text-align: left;
34 |   outline: none;
35 |   font-size: 1.25rem;
36 | }
37 | 
38 | .video-transcript-button:hover {
39 |   background-color: #bbb;
40 | }
41 | 
42 | /* The little triangle on the transcript button */
43 | .video-transcript-button-pointer {
44 | }
45 | 
46 | .video-transcript-button .video-transcript-button-pointer::before{
47 |   content: "▶";
48 | }
49 | 
50 | .video-transcript-button.active .video-transcript-button-pointer::before{
51 |   content: "▼";
52 | }
53 | 
54 | .video-transcript {
55 |   max-width: 640px;
56 |   width: 100%;
57 |   display: none;
58 |   overflow: auto;
59 |   background-color: #f1f1f1;
60 |   padding: 1rem;
61 | }
62 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/config.yaml:
--------------------------------------------------------------------------------
 1 | params:
 2 |   fadeFrontPage: false
 3 |   images:
 4 |     - /images/logo.svg
 5 |   navColor: blue
 6 |   font:
 7 |     name: "Lato"
 8 |     sizes: [400, 900]
 9 |   plausible:
10 |     dataDomain: null
11 |     javaScript: "https://views.scientific-python.org/js/script.js"
12 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/.gitignore:
--------------------------------------------------------------------------------
1 | /public
2 | /node_modules
3 | /resources
4 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/Makefile:
--------------------------------------------------------------------------------
 1 | .PHONY: help themes html serve clean
 2 | .DEFAULT_GOAL := help
 3 | 
 4 | help:
 5 | 	@grep ": ##" Makefile | grep -v grep | tr -d '#'
 6 | 
 7 | themes/scientific-python-hugo-theme:
 8 | 	@if [ ! -d "$<" ]; then \
 9 | 	  echo "*** ERROR: missing theme" ; \
10 | 	  echo ; \
11 | 	  echo "It looks as though you are missing the themes directory."; \
12 | 	  echo "You need to add the scientific-python-hugo-theme as a submodule."; \
13 | 	  echo ; \
14 | 	  echo "Please see https://theme.scientific-python.org/getstarted/"; \
15 | 	  echo ; \
16 | 	  exit 1; \
17 | 	fi
18 | 
19 | content/shortcodes.md:
20 | 	cp content/shortcodes.md.stub content/shortcodes.md
21 | 
22 | themes: themes/scientific-python-hugo-theme
23 | 
24 | html: ## Build site in `./public`
25 | html: themes content/shortcodes.md
26 | 	hugo
27 | 
28 | serve: ## Serve site, typically on http://localhost:1313
29 | serve: themes content/shortcodes.md
30 | 	@hugo --printI18nWarnings server
31 | 
32 | clean: ## Remove built files
33 | clean:
34 | 	rm -rf public
35 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/config.yaml:
--------------------------------------------------------------------------------
 1 | baseURL: "https://theme.scientific-python.org/"
 2 | languageCode: "en-us"
 3 | title: "Scientific Python Hugo Theme documentation"
 4 | theme: scientific-python-hugo-theme
 5 | relativeURLs: true
 6 | disableKinds: ["term", "taxonomy"]
 7 | 
 8 | markup:
 9 |   highlight:
10 |     noClasses: false
11 | 
12 | params:
13 |   description: "Documentation & template site for the Scientific Python Hugo Theme."
14 |   images:
15 |     - /images/logo.svg
16 |   navbarlogo:
17 |     image: logo.svg
18 |     text: Scientific Python Hugo Theme
19 |     link: /
20 |   hero:
21 |     title: Scientific Python Theme
22 |     image: logo.svg
23 |   navbar:
24 |     - title: Get started
25 |       url: /getstarted/
26 |     - title: Features
27 |       url: /features/
28 |       is_external: true
29 |     - title: Shortcodes
30 |       url: /shortcodes/
31 |   keyfeatures:
32 |     features:
33 |       - title: Documented
34 |         text: The theme is documented at https://theme.scientific-python.org.
35 |       - title: Reusable
36 |         text: "The theme is being used by
37 |           [scientific-python.org](https://github.com/scientific-python/scientific-python.org),
38 |           [numpy.org](https://github.com/numpy/numpy.org), and
39 |           [scipy.org](https://github.com/scipy/scipy.org)."
40 |       - title: Community Maintained
41 |         text: The theme is maintained by the [Theme Team](/about/).
42 |   footer:
43 |     logo: logo.svg
44 |     socialmediatitle: ""
45 |     socialmedia:
46 |       - link: https://scientific-python.org/
47 |         icon: scientific-python
48 |       - link: https://discuss.scientific-python.org/
49 |         icon: discourse
50 |       - link: https://github.com/scientific-python/
51 |         icon: github
52 |     quicklinks:
53 |       column1:
54 |         title: ""
55 |         links:
56 |           - text: About
57 |             link: /about/
58 |           - text: Theme GitHub
59 |             link: https://github.com/scientific-python/scientific-python-hugo-theme
60 |       column2:
61 |         links:
62 |           - text: Scientific Python Forum
63 |             link: https://discuss.scientific-python.org
64 |       column3:
65 |         links:
66 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/about/_index.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: "About"
 3 | draft: false
 4 | ---
 5 | 
 6 | The **Scientific Python Hugo Theme** is a theme for the
 7 | [Hugo](https://gohugo.io) static site generator built on the
 8 | [Fresh](https://github.com/StefMa/hugo-fresh) theme.
 9 | 
10 | {{< include-html "static/teams/theme-team.html" >}}
11 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/example-markdown.md:
--------------------------------------------------------------------------------
1 | This is some _example markdown_ with **bold**!
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/features.md:
--------------------------------------------------------------------------------
  1 | ---
  2 | title: Features
  3 | ---
  4 | 
  5 | ## Partials
  6 | 
  7 | The following partials are meant to be overridden:
  8 | 
  9 | - `post_meta.html`: Render meta-data under a post title.
 10 |   We have not yet defined this template, but you can use it to add author information, date, etc.
 11 | - `footer_actions`: This appears in the right-hand side of the footer. E.g., numpy.org uses it for mailing list subscriptions.
 12 | 
 13 | ## Shortcut list
 14 | 
 15 | The depths of the shortcut list on the left of each post can be
 16 | controlled by setting the `shortcutDepth` parameter in the post
 17 | preamble. It defaults to 2.
 18 | 
 19 | ## Page information
 20 | 
 21 | Each page should contain a `summary` in the preamble, otherwise the
 22 | site description is provided as metadata.
 23 | 
 24 | ## Custom stylesheets
 25 | 
 26 | Custom styles should be added to `/assets/css/my_css.css` (where
 27 | `my_css` can be any name, other than those already in the theme).
 28 | 
 29 | ## Custom JavaScript
 30 | 
 31 | Custom JavaScript can be added as `/assets/js/my_js.js` (where `my_js`
 32 | can be any name).
 33 | 
 34 | ## Code styling
 35 | 
 36 | To enable code styling, add the following to your config file:
 37 | 
 38 | ```yaml
 39 | markup:
 40 |   highlight:
 41 |     noClasses: false
 42 | ```
 43 | 
 44 | The default theme is [Witch Hazel](https://github.com/theacodes/witchhazel),
 45 | but with a blue background.
 46 | To use a different theme, [generate a new
 47 | stylesheet](https://gohugo.io/content-management/syntax-highlighting/#highlight-shortcode)
 48 | using:
 49 | 
 50 | ```bash
 51 | hugo gen chromastyles --style=monokai > /assets/css/code-highlight.css
 52 | ```
 53 | 
 54 | You can replace `monokai` with any of the themes supported by
 55 | [Chroma](https://github.com/alecthomas/chroma), as listed in their
 56 | [gallery](https://xyproto.github.io/splash/docs/).
 57 | 
 58 | Then, use fenced code blocks and remember to specify the language:
 59 | 
 60 | ````md
 61 | ```python
 62 | def foo(x):
 63 |     return x**2
 64 | ```
 65 | ````
 66 | 
 67 | ## News
 68 | 
 69 | The first post from `/content/en/news` will be highlighted on the
 70 | front page. If you don't want that, remove the `/content/en/news`
 71 | folder.
 72 | 
 73 | By default, news items link to the `/news` category page (which lists
 74 | all news items). You can override that by setting `newsLink` in the
 75 | preamble of any news post.
 76 | 
 77 | ### Single page news
 78 | 
 79 | If you prefer to list all your news items on one page, you may do so
 80 | in `/news.md`, instead of adding posts to `/news`. Set the
 81 | `newsHeader` parameter in the preamble of that document to populate
 82 | the banner on the front page.
 83 | 
 84 | ## Team gallery
 85 | 
 86 | The `tools/team_query.py` file gets a list of team members from GitHub. To
 87 | use it, you will need to set the GH_TOKEN environment variable
 88 | to a personal access token.
 89 | 
 90 | The team is rendered using shortcodes (`team`, `team_member`).
 91 | 
 92 | Example usage:
 93 | 
 94 | ```
 95 | python team_query.py --org scientific-python --team spec-steering-committee --title "Spec Steering Committee" > content/en/teams/spec-steering-committee.md
 96 | ```
 97 | 
 98 | we generate a raw HTML gallery, and provide a
 99 | shortcode (include-html) for pulling it in anywhere on the site.
100 | 
101 | ## Analytics
102 | 
103 | The theme supports analytics through Plausible, which can be self-hosted or paid-for at https://plausible.io/.
104 | To enable Plausible analytics, add to your `config.yaml`:
105 | 
106 | ```
107 | params:
108 |   plausible:
109 |     dataDomain: your-domain.org
110 |     javaScript: https://your.plausible.io/javascript/path.js
111 | ```
112 | 
113 | By default, `javaScript` points to the server at
114 | `https://views.scientific-python.org`. Contact the Scientific
115 | Python team to have your analytics hosted there.
116 | 
117 | ## Icons
118 | 
119 | You can add custom icons (for use in, e.g., the footer) by downloading Material-UI SVGs from [Google Fonts](https://fonts.google.com/icons) to the `/assets/icons` directory.
120 | 
121 | In the footer, the icons can then be used like the ones built-into the theme.
122 | To use them elsewhere, e.g. in Hugo templates, we provide an `svg-icon` partial. For example, `/assets/icons/my-icon.svg` is displayed using:
123 | 
124 | ```
125 | {{ partial "svg-icon" "my-icon" }}
126 | ```
127 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/gethelp.md:
--------------------------------------------------------------------------------
1 | ---
2 | title: Get Help
3 | ---
4 | 
5 | Please see our [issue tracker](https://github.com/scientific-python/scientific-python-hugo-theme/issues).
6 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/getstarted.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | title: Get Started
 3 | ---
 4 | 
 5 | ## The Scientific Python theme for Hugo
 6 | 
 7 | The **Scientific Python Hugo Theme** is a theme for the
 8 | [Hugo](https://gohugo.io) static site generator based on the
 9 | [Fresh](https://github.com/StefMa/hugo-fresh) theme.
10 | 
11 | To use the theme, you will need to
12 | [download hugo](https://github.com/gohugoio/hugo/releases)
13 | and place it on your path.
14 | 
15 | ## Download and install
16 | 
17 | 1. Download [the theme ZIP file](https://github.com/scientific-python/scientific-python-hugo-theme/archive/refs/heads/main.zip) and extract it.
18 | 
19 | 2. Copy the `doc` folder as a template of your new website:
20 | 
21 |    ```sh
22 |    cp -r scientific-python-hugo-theme-main/doc ./my-website
23 |    cd my-website
24 |    ```
25 | 
26 | 3. Initialize git and add `scientific-python-hugo-theme` as a submodule:
27 | 
28 |    ```sh
29 |    git init
30 |    git submodule add https://github.com/scientific-python/scientific-python-hugo-theme themes/scientific-python-hugo-theme
31 |    ```
32 | 
33 | 4. Build your site:
34 | 
35 |    ```sh
36 |    make serve
37 |    ```
38 | 
39 | Browse to `http://localhost:1313`, and hopefully you will see your new site!
40 | 
41 | ## Build HTML
42 | 
43 | Run `make html`. Output appears in `./public`.
44 | 
45 | ## Customizing the site
46 | 
47 | Edit `config.yaml` to your liking.
48 | 
49 | To customize styling, add one or more `*.css` files to the `assets/css` directory.
50 | These files may make use of Hugo templating,
51 | e.g. to access configuration variables as `{{ .Site.Params.somevar }}`.
52 | 
53 | Add custom JavaScript to `static/js/*.js`.
54 | 
55 | ## Next steps
56 | 
57 | See [features]({{< relref "features" >}}) and [shortcodes]({{< relref "shortcodes" >}}).
58 | 
59 | See the
60 | [scientific-python.org](https://github.com/scientific-python/scientific-python.org),
61 | [numpy.org](https://github.com/numpy/numpy.org), and
62 | [scipy.org](https://github.com/scipy/scipy.org) repositories for
63 | examples of what is possible by changing `config.yaml`.
64 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/news/new-theme.md:
--------------------------------------------------------------------------------
1 | ---
2 | title: Scientific Python Hugo theme released!
3 | authors: ["Theme Team"]
4 | date: 2021-10-18
5 | summary: Based on the theme developed for numpy.org.
6 | ---
7 | 
8 | This is an example news post.
9 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/shortcodes.md.stub:
--------------------------------------------------------------------------------
1 | ---
2 | title: Shortcodes summary placeholder
3 | ---
4 | 
5 | Please refer to [the theme shortcode description list](https://theme.scientific-python.org/shortcodes/).
6 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/content/video-page.md:
--------------------------------------------------------------------------------
 1 | ---
 2 | youtube_id: EmGSSbwdCZQ
 3 | title: "YouTube: video from a page"
 4 | date: 2022-03-15
 5 | author: Somename of Someone
 6 | venue: Venue in preamble
 7 | ---
 8 | 
 9 | This is the transcript from `video-page.md`.
10 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/netlify.toml:
--------------------------------------------------------------------------------
 1 | [build]
 2 |   # https://answers.netlify.com/t/build-canceled-due-to-no-content-change-when-using-submodule/25445/2
 3 |   ignore = "false"
 4 | 
 5 | [build.environment]
 6 |   PYTHON_VERSION = "3.8"
 7 |   HUGO_VERSION = "0.99.1"
 8 | 
 9 | [[plugins]]
10 |   package = "netlify-plugin-checklinks"
11 | 
12 | [[plugins]]
13 |   package = "@netlify/plugin-lighthouse"
14 | 
15 |   # optional, fails build when a category is below a threshold
16 |   [plugins.inputs.thresholds]
17 |     performance = 0.85
18 |     accessibility = 0.95
19 |     best-practices = 0.95
20 |     seo = 0.95
21 |     pwa = 0.2
22 | 
23 |   # optional, deploy the lighthouse report to a path under your site
24 |   [plugins.inputs]
25 |     output_path = "reports/lighthouse.html"
26 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/static/example.html:
--------------------------------------------------------------------------------
1 | This is some example HTML with <em>italic</em> and <b>bold</b> text.
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/doc/static/teams/theme-team.html:
--------------------------------------------------------------------------------
  1 | 
  2 | <div class="team">
  3 |   <h6 class="name title">Theme Team</h6>
  4 |   <div class="members">
  5 |     
  6 |     <div class="member">
  7 |       <a href="https://github.com/InessaPawson" class="name">
  8 |         <div class="photo">
  9 |           <img
 10 |             src="https://avatars.githubusercontent.com/u/43481325?u=abd6a16d90a864bde887199e0375699e3d05d915&v=4"
 11 |             loading="lazy"
 12 |             alt="Avatar of InessaPawson"
 13 |           />
 14 |         </div>
 15 |         InessaPawson
 16 |       </a>
 17 |     </div>
 18 | 
 19 |     <div class="member">
 20 |       <a href="https://github.com/jarrodmillman" class="name">
 21 |         <div class="photo">
 22 |           <img
 23 |             src="https://avatars.githubusercontent.com/u/123428?v=4"
 24 |             loading="lazy"
 25 |             alt="Avatar of Jarrod Millman"
 26 |           />
 27 |         </div>
 28 |         Jarrod Millman
 29 |       </a>
 30 |     </div>
 31 | 
 32 |     <div class="member">
 33 |       <a href="https://github.com/joelachance" class="name">
 34 |         <div class="photo">
 35 |           <img
 36 |             src="https://avatars.githubusercontent.com/u/3891660?u=5de0ba1f1adad6f041f6dde1affef5d05bbed80a&v=4"
 37 |             loading="lazy"
 38 |             alt="Avatar of Joe LaChance"
 39 |           />
 40 |         </div>
 41 |         Joe LaChance
 42 |       </a>
 43 |     </div>
 44 | 
 45 |     <div class="member">
 46 |       <a href="https://github.com/juanis2112" class="name">
 47 |         <div class="photo">
 48 |           <img
 49 |             src="https://avatars.githubusercontent.com/u/18587879?u=83f10fabe466ae8e7052c03c5e6e9cde684a4e10&v=4"
 50 |             loading="lazy"
 51 |             alt="Avatar of Juanita Gomez"
 52 |           />
 53 |         </div>
 54 |         Juanita Gomez
 55 |       </a>
 56 |     </div>
 57 | 
 58 |     <div class="member">
 59 |       <a href="https://github.com/MarsBarLee" class="name">
 60 |         <div class="photo">
 61 |           <img
 62 |             src="https://avatars.githubusercontent.com/u/46167686?u=529b2953f1c11efa4639df47ef6d403ba684163b&v=4"
 63 |             loading="lazy"
 64 |             alt="Avatar of MarsBarLee"
 65 |           />
 66 |         </div>
 67 |         MarsBarLee
 68 |       </a>
 69 |     </div>
 70 | 
 71 |     <div class="member">
 72 |       <a href="https://github.com/melissawm" class="name">
 73 |         <div class="photo">
 74 |           <img
 75 |             src="https://avatars.githubusercontent.com/u/3949932?u=aacac68df60d2cf64c17c7e5aa17adf8b738aa7b&v=4"
 76 |             loading="lazy"
 77 |             alt="Avatar of Melissa Weber Mendonça"
 78 |           />
 79 |         </div>
 80 |         Melissa Weber Mendonça
 81 |       </a>
 82 |     </div>
 83 | 
 84 |     <div class="member">
 85 |       <a href="https://github.com/rgommers" class="name">
 86 |         <div class="photo">
 87 |           <img
 88 |             src="https://avatars.githubusercontent.com/u/98330?u=22a023f8d191ba200ab13d476c83860d015cc9fe&v=4"
 89 |             loading="lazy"
 90 |             alt="Avatar of Ralf Gommers"
 91 |           />
 92 |         </div>
 93 |         Ralf Gommers
 94 |       </a>
 95 |     </div>
 96 | 
 97 |     <div class="member">
 98 |       <a href="https://github.com/rossbar" class="name">
 99 |         <div class="photo">
100 |           <img
101 |             src="https://avatars.githubusercontent.com/u/1268991?u=974707b96081a9705f3a239c0773320f353ee02f&v=4"
102 |             loading="lazy"
103 |             alt="Avatar of Ross Barnowski"
104 |           />
105 |         </div>
106 |         Ross Barnowski
107 |       </a>
108 |     </div>
109 | 
110 |     <div class="member">
111 |       <a href="https://github.com/stefanv" class="name">
112 |         <div class="photo">
113 |           <img
114 |             src="https://avatars.githubusercontent.com/u/45071?u=c779b5e06448fbc638bc987cdfe305c7f9a7175e&v=4"
115 |             loading="lazy"
116 |             alt="Avatar of Stefan van der Walt"
117 |           />
118 |         </div>
119 |         Stefan van der Walt
120 |       </a>
121 |     </div>
122 | 
123 |     <div class="member">
124 |       <a href="https://github.com/tupui" class="name">
125 |         <div class="photo">
126 |           <img
127 |             src="https://avatars.githubusercontent.com/u/23188539?u=64445b52dbf3f75de8006ed4264fdd2afaed97a3&v=4"
128 |             loading="lazy"
129 |             alt="Avatar of Pamphile ROY"
130 |           />
131 |         </div>
132 |         Pamphile ROY
133 |       </a>
134 |     </div>
135 | 
136 |   </div>
137 | </div>
138 | 
139 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/exampleSite:
--------------------------------------------------------------------------------
1 | doc


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/_default/baseof.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html>
 2 | <html lang="{{ .Site.LanguageCode }}">
 3 |   <head>
 4 |     {{ partial "meta.html" . }}
 5 |     <title>{{ block "title" . }}{{ .Site.Title }}{{ if not (eq .Site.Title .Title) }} - {{ .Title }}{{end}}{{ end }}</title>
 6 | 
 7 |     <!-- Render theme css -->
 8 |     {{ partial "css.html" . -}}
 9 | 
10 |     <!-- Render custom header -->
11 |     {{ partial "head.html" . -}}
12 | 
13 |     <!-- Refer: https://regisphilibert.com/blog/2018/08/hugo-multilingual-part-1-managing-content-translation/ -->
14 |     {{ if .IsTranslated }}
15 |       {{ range .Translations }}
16 |       <link rel="alternate" hreflang="{{ .Language.Lang }}" href="{{ .RelPermalink }}" title="{{ .Language.LanguageName }}" />
17 |       {{ end }}
18 |     {{ end -}}
19 |   </head>
20 |   <body>
21 |     <!-- Preloader. Set to true for front-page fade-in animation -->
22 |     {{ if (and .IsHome .Site.Params.fadeFrontPage) }}
23 |     <div id="preloader"></div>
24 |     {{ end -}}
25 | 
26 |     {{ block "navbar" . }}
27 |     {{ partial "navbar.html" . -}}
28 |     {{ partial "navbar-clone.html" . -}}
29 |     {{ end }}
30 | 
31 |     {{ block "main" . }}
32 |     {{ end }}
33 | 
34 |     <!-- Back To Top Button -->
35 |     <div id="backtotop"><a href="#" id="backtotop-color"></a></div>
36 | 
37 |     {{ if .Site.Params.footer }}
38 |     {{ partial "footer.html" . -}}
39 |     {{ end }}
40 | 
41 |     {{ partial "javascript.html" . -}}
42 | 
43 |     {{ partial "analytics.html" . -}}
44 |   </body>
45 | </html>
46 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/_default/section.html:
--------------------------------------------------------------------------------
1 | {{ define "main" }}
2 | {{ partial "section/section.html" . }}
3 | {{ end }}
4 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/_default/single.html:
--------------------------------------------------------------------------------
1 | {{ define "main" }}
2 | {{ partial "single/single.html" . }}
3 | {{ end }}
4 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/index.html:
--------------------------------------------------------------------------------
 1 | {{ define "main" }}
 2 |     {{ if .Site.Params.hero }}
 3 |     {{ partial "hero.html" . }}
 4 |     {{ end }}
 5 | 
 6 |     {{ if .Site.Params.panel }}
 7 |     {{ partial "panel.html" . }}
 8 |     {{ end }}
 9 | 
10 |     {{ if .Content }}
11 |     {{ partial "single/content.html" . }}
12 |     {{ end }}
13 | 
14 |     {{ if .Site.GetPage "/news" }}
15 |     {{ partial "news.html" . }}
16 |     {{ end }}
17 | 
18 |     {{ if .Site.Params.keyfeatures }}
19 |     {{ partial "keyfeatures.html" . }}
20 |     {{ end }}
21 | 
22 |     {{ if .Site.Params.shell }}
23 |     {{ partial "shell.html" . }}
24 |     {{ end }}
25 | 
26 |     {{ if .Site.Params.tabs }}
27 |     {{ partial "tabs.html" . }}
28 |     {{ end }}
29 | 
30 |     {{ if .Site.Params.casestudies }}
31 |     {{ partial "casestudies.html" . }}
32 |     {{ end }}
33 | {{ end }}
34 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/analytics.html:
--------------------------------------------------------------------------------
1 | {{ if .Site.Params.plausible.dataDomain }}
2 | <script defer data-domain="{{ .Site.Params.plausible.dataDomain }}" src="{{ .Site.Params.plausible.javaScript }}"></script>
3 | {{ end }}
4 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/css.html:
--------------------------------------------------------------------------------
 1 | <!-- Include all theme CSS filenames here -->
 2 | {{- $page := . -}}
 3 | 
 4 | {{- $inServerMode := .Site.IsServer -}}
 5 | {{- $sass         := (slice "theme-css/fresh/core.scss") -}}
 6 | {{- $cssOpts      := cond ($inServerMode) (dict "enableSourceMap" true) (dict "outputStyle" "compressed") -}}
 7 | 
 8 | <!-- Fonts -->
 9 | {{- $fontName     := .Site.Params.font.name | default "Open Sans" -}}
10 | {{- $fontFace     := replace $fontName " " "+" -}}
11 | {{- $fontSizes    := delimit (.Site.Params.font.sizes | default (slice 300 400 600 700)) "," -}}
12 | {{- $fontUrl      := printf "https://fonts.googleapis.com/css?family=%s:%s" $fontFace $fontSizes -}}
13 | 
14 | <link rel="icon" href="{{ "images/favicon.ico" | relURL }}" />
15 | <link rel="stylesheet" href="{{ $fontUrl }}">
16 | <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bulma@0.9.4/css/bulma.min.css">
17 | 
18 | <!-- SASS --- currently only for fresh -->
19 | {{- range $sass -}}
20 | 
21 | {{- if $inServerMode -}}
22 | {{ $css := resources.Get . | toCSS $cssOpts -}}
23 | <link rel="stylesheet" type="text/css" href="{{ $css.RelPermalink }}">
24 | {{ else }}
25 | {{ $css := resources.Get . | toCSS $cssOpts | minify | fingerprint -}}
26 | <link rel="stylesheet" type="text/css" href="{{ $css.RelPermalink }}" integrity="{{ $css.Data.Integrity }}">
27 | {{- end -}}
28 | 
29 | {{- end -}}
30 | 
31 | {{- $themeCssFiles := resources.Match "theme-css/*.css" -}}
32 | {{- $userCssFiles := resources.Match "css/*.css" -}}
33 | {{- $cssFiles := $themeCssFiles | append $userCssFiles }}
34 | 
35 | {{- range $cssFiles -}}
36 | 
37 | {{- $targetFile := printf "css/%s.css" . -}}
38 | 
39 | {{ if $inServerMode -}}
40 | {{ $custom_style := . | resources.ExecuteAsTemplate $targetFile $page -}}
41 | <link rel="stylesheet" href="{{ $custom_style.RelPermalink }}">
42 | {{ else }}
43 | {{ $custom_style := . | resources.ExecuteAsTemplate $targetFile $page | minify | fingerprint -}}
44 | <link rel="stylesheet" href="{{ $custom_style.RelPermalink }}" integrity="{{ $custom_style.Data.Integrity }}">
45 | {{- end -}}
46 | 
47 | {{- end -}}
48 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/footer.html:
--------------------------------------------------------------------------------
 1 | {{- $title          := .Site.Params.title }}
 2 | {{- $footer      := .Site.Params.footer }}
 3 | {{- $logo        := index $footer "logo" }}
 4 | {{- $quickLinks  := index $footer "quicklinks" }}
 5 | {{- $socialMedia := index $footer "socialmedia" }}
 6 | {{- $navbarLogo     := .Site.Params.navbarlogo }}
 7 | 
 8 | <footer id="footer" class="footer">
 9 |   <div class="container is-max-widescreen">
10 |     <div id="footer-columns" class="columns">
11 |       <div class="footer-logo-column">
12 |         <img id="footer-logo" src="{{ printf "/images/%s" $logo | relURL }}" alt="{{ $title }} logo. {{ $navbarLogo.altText }}">
13 |       </div>
14 |       {{- range $quickLinks }}
15 |         <div class="link-column">
16 |           <div class="footer-column">
17 |             <div class="footer-header">
18 |             </div>
19 |             <ul class="link-list">
20 |               {{- range .links }}
21 |               <li class="link-list">
22 |                 <a class="footer-link" href="{{ .link }}">
23 |                   {{ .text }}
24 |                 </a>
25 |               </li>
26 |               {{- end }}
27 |             </ul>
28 |           </div>
29 |         </div>
30 |       {{- end }}
31 |         <div class="footer-actions">
32 |           {{ partial "footer_actions.html" . }}
33 |           <nav class="level is-mobile">
34 |             <div class="social-media-icons">
35 |               {{- range $socialMedia }}
36 |               <a class="level-item" href="{{ .link }}" aria-label="{{ .link }}">
37 |                 {{if .icon -}}
38 |                 {{- partial "svg-icon" .icon -}}
39 |                 {{- else -}}
40 |                 <span class="icon">ⓘ</span>
41 |                 {{- end }}
42 |               </a>
43 |               {{- end }}
44 |             </div>
45 |           </nav>
46 |           <div class="copyright">&copy; {{ now.Year}} {{ $title }}. All rights reserved.</div>
47 |         </div>
48 |     </div>
49 |   </div>
50 | </footer>
51 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/footer_actions.html:
--------------------------------------------------------------------------------
1 | <!-- This is inserted in the right-most column of the footer -->
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/head.html:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/web/themes/scientific-python-hugo-theme/layouts/partials/head.html


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/hero-body.html:
--------------------------------------------------------------------------------
 1 | {{- $hero       := .Site.Params.hero }}
 2 | {{- $title      := index $hero "title" }}
 3 | {{- $subtitle   := index $hero "subtitle" }}
 4 | {{- $buttonText := index $hero "buttontext" }}
 5 | {{- $buttonLink := index $hero "buttonlink" }}
 6 | {{- $image      := index $hero "image" }}
 7 | <div class="hero-body">
 8 |   <div class="container is-max-widescreen">
 9 |     <div class="columns is-vcentered">
10 |       <div class="column is-5 is-offset-1 landing-caption">
11 |         <h1 class="title is-1 is-bold is-spaced">
12 |           {{ $title }}
13 |         </h1>
14 |         {{ with $subtitle }}
15 |         <h2 class="subtitle is-5 is-muted">
16 |           {{ . }}
17 |         </h2>
18 |         {{ end }}
19 |         <p>
20 |           <a class="button cta rounded primary-btn raised" href="{{ $buttonLink }}">
21 |             {{ $buttonText }}
22 |           </a>
23 |         </p>
24 |       </div>
25 |       <div class="column is-5 is-offset-1">
26 |         <figure class="image is-4by3">
27 |           <img src="{{ printf "/images/%s" $image | relURL }}" alt="Description">
28 |         </figure>
29 |       </div>
30 |     </div>
31 |   </div>
32 | </div>
33 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/hero.html:
--------------------------------------------------------------------------------
 1 | {{- $navbarLogo     := .Site.Params.navbarlogo }}
 2 | {{- $hero           := .Site.Params.hero }}
 3 | {{- $title          := index $hero "title" }}
 4 | {{- $subtitle       := index $hero "subtitle" }}
 5 | {{- $buttonText     := index $hero "buttontext" }}
 6 | {{- $buttonLink     := index $hero "buttonlink" }}
 7 | {{- $image          := index $hero "image" }}
 8 | 
 9 | <section class="hero">
10 |   <div class="hero-container">
11 |       <div class="hero-content">
12 |           <div class="hero-title-content">
13 |               <div class="hero-title">
14 |                   {{ $title }}
15 |                   <img class="hero-logo" src="{{ printf "/images/%s" $image | relURL }}" alt="{{ $title }} logo. {{ $navbarLogo.altText }}">
16 |               </div>
17 |               <div class="flex-column">
18 |                   {{ with $subtitle }}
19 |                   <div class="hero-subtitle">
20 |                       {{ . }}
21 |                   </div>
22 |                   {{ end }}
23 |                   {{ if $buttonText }}
24 |                   <div class="hero-cta">
25 |                       <a href="{{ $buttonLink }}"><button class="cta-button">{{ $buttonText }}</button></a>
26 |                   </div>
27 |                   {{ end }}
28 |               </div>
29 |           </div>
30 |       </div>
31 |   </div>
32 | </section>
33 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/javascript.html:
--------------------------------------------------------------------------------
 1 | {{- $inServerMode := .Site.IsServer -}}
 2 | 
 3 | <script src="https://code.jquery.com/jquery-3.6.0.min.js"></script>
 4 | 
 5 | <!-- Custom JS -->
 6 | <!-- All JS files under static/js are included -->
 7 | {{- $jsFiles := resources.Match "js/*.js" -}}
 8 | {{- if $inServerMode -}}
 9 | {{- $js := $jsFiles | resources.Concat "js/bundle.js" }}
10 | <script type="text/javascript" src={{ $js.RelPermalink }}></script>
11 | {{ else }}
12 | {{- $js := $jsFiles | resources.Concat "js/bundle.js" | resources.Minify }}
13 | <script type="text/javascript" src={{ $js.RelPermalink }}></script>
14 | {{- end -}}
15 | 
16 | <!-- UIkit -->
17 | <script src="https://cdn.jsdelivr.net/npm/uikit@3.7.6/dist/js/uikit.min.js"></script>
18 | <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/uikit@3.7.6/dist/css/uikit.min.css" />
19 | 
20 | <script type="text/javascript">setupShortcuts(maxLevel={{ default 2 .Page.Params.shortcutDepth }});</script>
21 | 
22 | {{- if .HasShortcode "youtube" }}
23 | <script type="text/javascript">
24 |   var buttons = document.getElementsByClassName("video-transcript-button");
25 |   var i;
26 | 
27 |   for (i = 0; i < buttons.length; i++) {
28 |     buttons[i].addEventListener("click", function() {
29 |       this.classList.toggle("active");
30 |       var content = this.nextElementSibling;
31 |       if (content.style.display === "block") {
32 |         content.style.display = "none";
33 |       } else {
34 |         content.style.display = "block";
35 |       }
36 |     });
37 |   }
38 | </script>
39 | {{ end -}}
40 | 
41 | {{- if .HasShortcode "mermaid" }}
42 | <script async src="https://unpkg.com/mermaid@9.0.1/dist/mermaid.min.js"></script>
43 | {{ end -}}
44 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/keyfeatures.html:
--------------------------------------------------------------------------------
 1 | {{- $keyfeatures := .Site.Params.keyfeatures }}
 2 | {{- $features := index $keyfeatures "features" }}
 3 | 
 4 | <section class="keyfeatures">
 5 |     <div class="container is-max-widescreen">
 6 |         <div class="keyfeatures-box-container">
 7 |             {{- range $features }}
 8 |             <div class="keyfeatures-box-content keyfeatures-underline">
 9 |                 <p>
10 |                     <div class="keyfeatures-box-title">{{ .title }}</div>
11 |                     <div class="keyfeatures-box-text">{{ .text | markdownify }}</div>
12 |                 </p>
13 |             </div>
14 |             {{- end }}
15 |         </div>
16 |     </div>
17 | </section>
18 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/meta.html:
--------------------------------------------------------------------------------
1 | <meta name="description" content="{{ if .Params.summary }}{{ .Params.summary }}{{ else if .Site.Params.Description }}{{ .Site.Params.Description }}{{ else }}Hardcoded description; the author should update :){{ end }}" />
2 | <meta charset="utf-8">
3 | <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
4 | <meta http-equiv="x-ua-compatible" content="ie=edge">
5 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/navbar-clone.html:
--------------------------------------------------------------------------------
 1 | {{- $title          := .Site.Params.title }}
 2 | {{- $navbar         := .Site.Params.navbar }}
 3 | {{- $navbarLogo     := .Site.Params.navbarlogo }}
 4 | <nav id="navbar-clone" class="navbar is-fresh is-transparent" role="navigation" aria-label="main navigation">
 5 |   <div class="container is-max-widescreen">
 6 |     <div class="navbar-brand">
 7 | 
 8 |       {{- if $navbarLogo}}
 9 |       <a class="navbar-item" href="{{ $navbarLogo.link }}">
10 |         <img class="navbar-logo" src="{{ printf "/images/%s" $navbarLogo.image | relURL }}" alt="{{ default (printf "%s logo" $title) $navbarLogo.altText }}">
11 |         <div class="navbar-logo-text">{{ default "" $navbarLogo.text }}</div>
12 |       </a>
13 |       {{- end}}
14 | 
15 | 
16 |       <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false" data-target="cloned-navbar-menu">
17 |         <span aria-hidden="true"></span>
18 |         <span aria-hidden="true"></span>
19 |         <span aria-hidden="true"></span>
20 |       </a>
21 |     </div>
22 | 
23 |     <div id="cloned-navbar-menu" class="navbar-menu is-fixed">
24 | 
25 |       <div class="navbar-end">
26 |         {{- range $navbar }}
27 |         {{- if .sublinks }}
28 |         <div class="navbar-item has-dropdown is-hoverable">
29 |           <a class="navbar-link">
30 |             {{ .title }}
31 |             {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
32 |           </a>
33 | 
34 |           <div class="navbar-dropdown">
35 |             {{- range .sublinks }}
36 |             <a href="{{ .url }}" class="navbar-item">
37 |               {{ .title }}
38 |               {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
39 |             </a>
40 |             {{- end }}
41 |           </div>
42 |         </div>
43 |         {{- else if .button }}
44 |         <a href="{{ .url }}" class="navbar-item">
45 |           <span class="button signup-button rounded secondary-btn raised">
46 |             {{ .title }}
47 |             {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
48 |           </span>
49 |         </a>
50 |         {{- else }}
51 |         <a href="{{ .url }}" class="navbar-item is-secondary">
52 |           {{ .title }}
53 |           {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
54 |         </a>
55 |         {{- end }}
56 |         {{- end }}
57 | 
58 |         {{- if .IsTranslated }}
59 |         {{ partial "translation.html" . }}
60 |         {{- end }}
61 |       </div>
62 |     </div>
63 |   </div>
64 | </nav>
65 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/navbar.html:
--------------------------------------------------------------------------------
 1 | {{- $title          := .Site.Params.title }}
 2 | {{- $navbar         := .Site.Params.navbar }}
 3 | {{- $navbarLogo     := .Site.Params.navbarlogo }}
 4 | <nav id="nav" class="navbar is-fresh is-transparent no-shadow" role="navigation" aria-label="main navigation">
 5 |   <div class="container is-max-widescreen">
 6 |     <div class="navbar-brand">
 7 |       {{ if not .IsHome }}
 8 |       {{- if $navbarLogo}}
 9 |       <a class="navbar-item" href="{{ $navbarLogo.link }}">
10 |         <img class="navbar-logo" src="{{ printf "/images/%s" $navbarLogo.image | relURL }}" alt="{{ default (printf "%s logo" $title) $navbarLogo.altText }}">
11 |         <div class="navbar-logo-text">{{ default "" $navbarLogo.text }}</div>
12 |       </a>
13 |       {{- end}}
14 |       {{ end }}
15 | 
16 |       <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false" data-target="navbar-menu">
17 |         <span aria-hidden="true"></span>
18 |         <span aria-hidden="true"></span>
19 |         <span aria-hidden="true"></span>
20 |       </a>
21 |     </div>
22 | 
23 |     <div id="navbar-menu" class="navbar-menu is-static">
24 | 
25 |       <div class="navbar-end">
26 |         {{- range $navbar }}
27 |         {{- if .sublinks }}
28 |         <div class="navbar-item has-dropdown is-hoverable">
29 |           <a class="navbar-link">
30 |             {{ .title }}
31 |             {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
32 |           </a>
33 | 
34 |           <div class="navbar-dropdown">
35 |             {{- range .sublinks }}
36 |             <a href="{{ .url }}" class="navbar-item">
37 |               {{ .title }}
38 |               {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
39 |             </a>
40 |             {{- end }}
41 |           </div>
42 |         </div>
43 |         {{- else if .button }}
44 |         <a href="{{ .url }}" class="navbar-item">
45 |           <span class="button signup-button rounded secondary-btn raised">
46 |             {{ .title }}
47 |             {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
48 |           </span>
49 |         </a>
50 |         {{- else }}
51 |         <a href="{{ .url }}" class="navbar-item is-secondary">
52 |           {{ .title }}
53 |           {{ if .is_external }}{{ partial "svg-icon" "launch" }}{{ end }}
54 |         </a>
55 |         {{- end }}
56 |         {{- end }}
57 | 
58 |         {{- if .IsTranslated }}
59 |         {{ partial "translation.html" . }}
60 |         {{- end }}
61 |       </div>
62 |     </div>
63 |   </div>
64 | </nav>
65 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/news.html:
--------------------------------------------------------------------------------
 1 | {{ range first 1 (or (where .Site.RegularPages "Section" "news") (slice (.Site.GetPage "news"))) }}
 2 | {{ $newsLink := default "/news" .Params.newsLink }}
 3 | {{ $newsHeader := default .Title .Params.newsHeader }}
 4 | {{ $date := .Date.Format "2006-01-02" }}
 5 | <div class="news-container">
 6 |   <div class="news-title"><a href="{{ relURL $newsLink }}"> {{ $newsHeader }}</a></div>
 7 |   {{ if .Date }}
 8 |   <div class="news-date"><a href="{{ relURL $newsLink }}">{{ $date }}</a></div>
 9 |   {{ end }}
10 | </div>
11 | {{ end }}
12 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/panel.html:
--------------------------------------------------------------------------------
 1 | {{- $panel := .Site.Params.panel }}
 2 | {{- $title    := index $panel "title" }}
 3 | {{- $subtitle := index $panel "subtitle" }}
 4 | {{- $tiles    := index $panel "tiles" }}
 5 | <section class="panel">
 6 |   <div class="container is-max-widescreen">
 7 | 
 8 |         <div class="panel-box-container">
 9 |             {{- range $tiles }}
10 |             <div class="panel-box-content panel-underline">
11 |                 <p>
12 |                     <div class="panel-box-action"> 
13 |                        <a href="{{ .url }}" class="panel-button">{{ .buttonText }}</a>
14 |                     </div>
15 |                     <div class="panel-box-text">{{ .text | markdownify }}</div>
16 |                 </p>
17 |             </div>
18 |             {{- end }}
19 |         </div>
20 | 
21 |     </div>
22 | </section>
23 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/post_meta.html:
--------------------------------------------------------------------------------
1 | <!-- Here, you can render author name, date, etc. -->
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/section/section.html:
--------------------------------------------------------------------------------
 1 | <section class="content-padding flex-row">
 2 | <div class="shortcuts-container">
 3 |   <div class="shortcuts-title"><img src="/images/icons/list-bulleted.svg"/>On this page</div>
 4 |   <div id="shortcuts"></div>
 5 | </div>
 6 | <div class="content-container">
 7 |   <div class="columns">
 8 |     <div class="column is-centered-tablet-portrait">
 9 |       <h1 class="title section-title">{{ .Title }}</h1>
10 |       <h5 class="subtitle is-5 is-muted">{{ .Params.Subtitle }}</h5>
11 |       <div class="divider"></div>
12 |     </div>
13 |   </div>
14 |   {{ if .Content }}
15 |   {{ .Content }}
16 |   {{ else }}
17 |   {{ range .Pages }}
18 |   <div class="post-list">
19 |     <article>
20 |       <div class="post-title"><a href="{{ .RelPermalink }}">{{ .Title }}</a></div>
21 |       <div class="post-authors">
22 |         {{- range .Params.Authors -}}
23 |         <div class="post-author">{{ . }}</div>
24 |         {{- end -}}
25 |       </div>
26 |       {{ if .Date }}
27 |       <div class="post-date">{{.Date.Format "January 2, 2006"}}</div>
28 |       {{ end }}
29 |       <div class="post-summary">{{ .Summary }}</div>
30 |     </article>
31 |   </div>
32 |   {{ end }}
33 |   {{ end }}
34 | </div>
35 | </section>
36 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/single/content.html:
--------------------------------------------------------------------------------
 1 | <section class="content-padding flex-row">
 2 |     <div class="shortcuts-container">
 3 |         <div class="shortcuts-title"><img src="/images/icons/list-bulleted.svg"/>On this page</div>
 4 |         <div id="shortcuts"></div>
 5 |     </div>
 6 |     <div class="content-container">
 7 |         <div class="columns">
 8 |             <div class="column is-centered-tablet-portrait">
 9 |                 <h1 class="title section-title">{{ .Title }}</h1>
10 |                 <h5 class="subtitle is-5 is-muted">{{ .Params.Subtitle }}</h5>
11 |                 <div class="divider"></div>
12 |             </div>
13 |         </div>
14 |         {{ with partial "post_meta.html" . -}}
15 |         <div class="post-meta">{{ . }}</div>
16 |         {{- end }}
17 | 
18 |         <div class="post-content">
19 |           {{ .Content }}
20 |         </div>
21 |     </div>
22 |   </div>
23 | </section>
24 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/single/single.html:
--------------------------------------------------------------------------------
1 | {{ partial "single/content.html" . }}
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/svg-icon.html:
--------------------------------------------------------------------------------
1 | <!-- Based on https://bitbanged.com/posts/how-to-use-inline-svgs-with-hugo/ -->
2 | {{ $svg := . }}
3 | {{ $class := print $svg "-icon" }}
4 | {{ $match := "<svg (.*)?>(.*)</svg>" }}
5 | 
6 | {{ $replaceWith := printf `<svg class="icon %s" viewBox="0 0 24 24" ${1}>${2}</svg>` $class }}
7 | {{ (replaceRE $match $replaceWith (resources.Get (printf "/icons/%s.svg" $svg)).Content) | safeHTML }}
8 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/partials/translation.html:
--------------------------------------------------------------------------------
 1 | {{ $crowdin := .Site.Params.crowdin }}
 2 | 
 3 | <div class="navbar-item has-dropdown is-hoverable">
 4 |  <a aria-label="Select language" class="navbar-link">{{ default .Language .Language.LanguageName }}</a>
 5 |  <div class="navbar-dropdown">
 6 |    {{- range .Translations }}
 7 | 
 8 |    <a href="{{ .RelPermalink }}" class="navbar-item">
 9 |      {{ default .Language .Language.LanguageName }}
10 |    </a>
11 | 
12 |    {{- end }}
13 |    {{ if $crowdin }}
14 |    <a href="{{ $crowdin }}" class="navbar-item" target="_blank">
15 |      Help us translate
16 |    </a>
17 |    {{ end }}
18 |  </div>
19 | </div>
20 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/include-html.html:
--------------------------------------------------------------------------------
 1 | {{/*
 2 | 
 3 | doc: Include an HTML file. The filename is specified relative to the root path.
 4 | 
 5 | {{< include-html "static/example.html" >}}
 6 | 
 7 | */}}
 8 | 
 9 | {{ $file := .Get 0 }}
10 | {{ $file | readFile | safeHTML }}
11 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/include-md.html:
--------------------------------------------------------------------------------
 1 | {{/*
 2 | 
 3 | doc: Render and include a markdown file.
 4 | 
 5 | {{< include-md "example-markdown.md" >}}
 6 | 
 7 | */}}
 8 | 
 9 | {{ $file := .Get 0 }}
10 | {{ with .Page.GetPage $file }}{{ .Content }}{{ end }}
11 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/mermaid.html:
--------------------------------------------------------------------------------
 1 | {{/*
 2 | 
 3 | doc: Generate diagrams and flowcharts from markdown.
 4 | 
 5 | {{< mermaid >}}
 6 | graph LR
 7 | 
 8 | START[ ]--> |Propose| A[Accept]
 9 | A--> |Draft| B[Endorse]
10 | B--> |Recommend| C[Adopt]
11 | 
12 | click A callback "Steering Committee Action"
13 | click B callback "Core Project Action"
14 | click C callback "Ecosystem Action"
15 | 
16 | style START fill:#FFFFFF, stroke:#FFFFFF;
17 | 
18 | {{< /mermaid >}}
19 | 
20 | */}}
21 | 
22 | <div class="mermaid">
23 |   {{.Inner}}
24 | </div>
25 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/notice.html:
--------------------------------------------------------------------------------
 1 | {{/*
 2 | 
 3 | doc: Create note, warning, information, and tip notices.
 4 | 
 5 | {{< notice note >}}
 6 | This is a note.
 7 | {{< /notice >}}
 8 | 
 9 | {{< notice info >}}
10 | This is information.
11 | {{< /notice >}}
12 | 
13 | {{< notice warning >}}
14 | This is a warning.
15 | {{< /notice >}}
16 | 
17 | {{< notice tip >}}
18 | This is a tip.
19 | {{< /notice >}}
20 | 
21 | */}}
22 | 
23 | <div class="notice {{ .Get 0 }}-notice">
24 |   <div class="notice-type">🛈  &nbsp;{{ .Get 0 | humanize }}</div>
25 |   <div class="notice-content">
26 |     {{ .Inner | markdownify }}
27 |   </div></br>
28 | </div>
29 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/numfocus.html:
--------------------------------------------------------------------------------
 1 | <div class="numfocus">
 2 |     <a href="https://numfocus.org/donate-to-numpy">
 3 |         <img src="/images/logos/NumFOCUS_sponsored_project_logo.svg" width="200" alt="NumFOCUS logo" />
 4 |     </a>
 5 |     <a href="https://numfocus.org/donate-to-numpy" class="numfocus-button">
 6 |         DONATE
 7 |     </a>
 8 | </div>
 9 | 
10 | <style>
11 |     .numfocus {
12 |         display: flex;
13 |         flex-direction: column;
14 |         align-items: center;
15 |         margin: 30px;
16 |         cursor: pointer;
17 |     }
18 | 
19 |     .numfocus-button {
20 |         display: flex;
21 |         justify-content: center;
22 |         align-items: center;
23 |         width: 170px;
24 |         height: 35px;
25 |         margin: 15px 0;
26 |         font-size: 11px;
27 |         text-transform: uppercase;
28 |         letter-spacing: 1.5px;
29 |         font-weight: 500;
30 |         color: #fff;
31 |         transition: background-color 0.5s ease, color 0.5s ease;
32 |         background-color: #013243;
33 |         border: none;
34 |         border-radius: 25px;
35 |         outline: none;
36 |         box-shadow: 0px 8px 15px rgba(0, 0, 0, 0.1);
37 |         cursor: pointer;
38 |     }
39 |     .numfocus-button:hover {
40 |         text-decoration: none;
41 |         background-color: #e4f1fe;
42 |         color: #013243;
43 |     }
44 | </style>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/team.html:
--------------------------------------------------------------------------------
1 | <div class="team">
2 |   <h6 class="title">{{ .Get "name" }}</h6>
3 |   <div class="members">
4 |     {{ .Inner }}
5 |   </div>
6 | </div>
7 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/team_member.html:
--------------------------------------------------------------------------------
 1 | <div class="member">
 2 |   <a href="{{ .Get "url" }}" class="name">
 3 |     <div class="photo">
 4 |       <img
 5 |         src="{{ .Get "avatarUrl" }}"
 6 |         loading="lazy"
 7 |         alt="Avatar of {{ .Get "name" }}"
 8 |       />
 9 |     </div>
10 |     {{ .Get "name" }}
11 |   </a>
12 | </div>
13 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/yamlToTable.html:
--------------------------------------------------------------------------------
 1 | {{/*
 2 | 
 3 | doc: Render YAML to HTML.
 4 | 
 5 | {{< yamlToTable >}}
 6 | headers:
 7 |   - Project
 8 |   - Available Packages
 9 |   - Download location
10 | 
11 | format:
12 |   - align: left
13 |   - align: left
14 |   - align: right
15 | 
16 | rows:
17 |   - columns:
18 |       - "NumPy"
19 |       - |
20 |         Official *source code* (all platforms) and *binaries* for<br/>
21 |         **Windows**, **Linux**, and **Mac OS X**
22 |       - "[PyPi page for NumPy](https://pypi.python.org/pypi/numpy)"
23 | 
24 |   - columns:
25 |       - SciPy
26 |       - |
27 |         Official *source code* (all platforms) and *binaries* for<br/>
28 |         **Windows**, **Linux** and **Mac OS X**
29 |       - |
30 |         [SciPy release page](https://github.com/scipy/scipy/releases) (sources)<br/>
31 |         [PyPI page for SciPy](https://pypi.python.org/pypi/scipy) (all)
32 | 
33 | {{< /yamlToTable >}}
34 | 
35 | */}}
36 | 
37 | {{ $arg := .Get 0 }}
38 | {{ $data := .Inner | transform.Unmarshal }}
39 | 
40 | {{ with $data }}
41 | <table>
42 |   {{ range .format }}
43 |   <col
44 |     {{ range $key, $val := . }}
45 |     {{ $key }}="{{ $val}}"
46 |     {{ end }}
47 |   >
48 |   {{ end }}
49 | 
50 |   {{ range .headers }}
51 |   <th>{{ . | markdownify }}</th>
52 |   {{ end }}
53 | 
54 |   {{ range $row := .rows }}
55 |   <tr>
56 |     {{ range $col := .columns }}
57 |       {{ if reflect.IsMap $col }}
58 |       <td colspan="{{ $col.colspan }}" rowspan="{{ $col.rowspan }}">
59 |         {{ $col.text | markdownify }}
60 |       </td>
61 |       {{ else }}
62 |       <td>
63 |         {{ . | markdownify }}
64 |       </td>
65 |       {{ end }}
66 |     {{ end }}
67 |   </tr>
68 |   {{ end }}
69 | 
70 | </table>
71 | {{ end }}
72 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/layouts/shortcodes/youtube.html:
--------------------------------------------------------------------------------
  1 | {{/*
  2 | 
  3 | doc: Embed YouTube videos, with foldable captions. The `levelOffset` parameter can be used to control the depth of the video heading and content. The shortcode can be invoked either with an `id` attribute, or by specifying `page`. In the latter case, that page's preamble should provide `youtube_id`, `title`, `venue`, and `date`, and its contents act as the video transcript. Remember the closing tag!
  4 | 
  5 | {{< youtube id="EmGSSbwdCZQ" class="talk" title="YouTube: Open Data Science" venue="CU Denver Data Science Symposium 2020" author="Stefan van der Walt" levelOffset=3 >}}
  6 | 
  7 | Here, I will give a transcript of the whole video, and say some things about it that you cannot know otherwise without watching the **video**.
  8 | 
  9 | ### But what is it?
 10 | 
 11 | This is it!
 12 | 
 13 | {{< /youtube >}}
 14 | 
 15 | {{< youtube page="video-page" levelOffset=3 >}}{{< /youtube >}}
 16 | 
 17 | */}}
 18 | 
 19 | {{- $id := .Get "id" -}}
 20 | {{- $title := "" -}}
 21 | {{- $venue := "" -}}
 22 | {{- $author := "" -}}
 23 | {{- $date := "" -}}
 24 | {{- $transcript := "" -}}
 25 | 
 26 | {{- if $id }}
 27 | 
 28 | {{- $title = .Get "title" -}}
 29 | {{- $venue = .Get "venue" -}}
 30 | {{- $author = .Get "author" -}}
 31 | {{- $date = .Get "date" -}}
 32 | {{- $transcript = .Inner -}}
 33 | 
 34 | {{- else -}}
 35 | 
 36 | {{- $pageName := printf "%s.md" (.Get "page") -}}
 37 | {{- $pageInBundle := .Page.Resources.GetMatch $pageName -}}
 38 | {{- $pageInSite := .Site.GetPage $pageName -}}
 39 | {{- $page := or $pageInBundle $pageInSite -}}
 40 | 
 41 | {{- $id = $page.Params.youtube_id -}}
 42 | {{- $title = $page.Params.title -}}
 43 | {{- $venue = $page.Params.venue -}}
 44 | {{- $author = $page.Params.author -}}
 45 | {{ if $page.Params.date }}
 46 |   {{- $date = time.Format "Jan 2, 2006" $page.Params.date -}}
 47 | {{ end }}
 48 | {{- $transcript = $page.RawContent -}}
 49 | 
 50 | {{- end -}}
 51 | 
 52 | 
 53 | {{/* Adjust the indentation of the transcript according to levelOffset */}}
 54 | {{/* See https://discourse.gohugo.io/t/option-to-shift-headings/6136/2 */}}
 55 | 
 56 | {{ $levelOffset := default 2 (.Get "levelOffset") }}
 57 | 
 58 | {{/* get the Markdown without front matter  */}}
 59 | {{ $s := $transcript }}
 60 | 
 61 | {{/* the regex of start of line `^` doesn't work. (GoLang has a subset of regex)
 62 |      Need to specify newlines via `\n`
 63 |      Need to ensure  newlines at start and end of content */}}
 64 | {{ $s :=  delimit (slice "\n" $s "\n") "" }}
 65 | 
 66 | {{/*
 67 | Search for any Markdown headings `#` at start of line
 68 | and add (levelOffset - 2) `#`s to start of line.
 69 | 
 70 | Why -1? Because the offsetLevel specifies the level for the title.
 71 | Other headings start with ##, ###, etc.
 72 | We want to shift the content so that it is one deeper than the title,
 73 | and since there are already two, we need to add a further
 74 | (levelOffset - 1) hashes.
 75 | */}}
 76 | 
 77 | {{ $header_padding := (strings.Repeat (sub $levelOffset 1) "#") }}
 78 | {{ $new_header := (printf "\n%s$1 " $header_padding) }}
 79 | {{ $s := $s | replaceRE "\n(#+) " $new_header }}
 80 | 
 81 | {{/* render the Markdown to HTML
 82 |      declare it to be safe HTML and return */}}
 83 | {{ $transcript := $s | markdownify | safeHTML }}
 84 | 
 85 | <div class="youtube">
 86 |   <h{{ $levelOffset }} id="transcript-{{ $title | anchorize }}" class="video-title">
 87 |     {{ $title }}
 88 |   </h{{ $levelOffset }}>
 89 |   <iframe src="https://www.youtube.com/embed/{{ $id }}?enablejsapi=1&modestbranding=0" allowfullscreen class="youtube"></iframe>
 90 |   {{ if $transcript }}
 91 |   <button type="button" class="yp-video-transcript-button video-transcript-button">
 92 |     <span class="video-transcript-button-pointer"></span>
 93 |     Transcript
 94 |   </button>
 95 |   <div class="video-transcript">
 96 |     {{ $transcript }}
 97 |   </div>
 98 |   {{ end }}
 99 |   <div class="video-meta">
100 |     {{ if $author }}
101 |     <div class="video-author">
102 |       {{ $author }}
103 |     </div>
104 |     {{ end }}
105 |     {{ if $venue }}
106 |     <div class="video-venue">
107 |       {{ $venue }}
108 |     </div>
109 |     {{ end }}
110 |     {{ if $date }}
111 |     <div class="video-date">
112 |       {{ $date }}
113 |     </div>
114 |     {{ end }}
115 |   </div>
116 | </div>
117 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/requirements.txt:
--------------------------------------------------------------------------------
1 | pre-commit>=2.19
2 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/static/images/favicon.ico:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/pysathq/pysat/a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0/web/themes/scientific-python-hugo-theme/static/images/favicon.ico


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/static/images/icons/list-bulleted.svg:
--------------------------------------------------------------------------------
1 | <svg xmlns="http://www.w3.org/2000/svg" height="24px" viewBox="0 0 24 24" width="24px" fill="#000000"><path d="M0 0h24v24H0V0z" fill="none"/><path d="M4 10.5c-.83 0-1.5.67-1.5 1.5s.67 1.5 1.5 1.5 1.5-.67 1.5-1.5-.67-1.5-1.5-1.5zm0-6c-.83 0-1.5.67-1.5 1.5S3.17 7.5 4 7.5 5.5 6.83 5.5 6 4.83 4.5 4 4.5zm0 12c-.83 0-1.5.68-1.5 1.5s.68 1.5 1.5 1.5 1.5-.68 1.5-1.5-.67-1.5-1.5-1.5zM7 19h14v-2H7v2zm0-6h14v-2H7v2zm0-8v2h14V5H7z"/></svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/static/images/loaders/rings.svg:
--------------------------------------------------------------------------------
 1 | <!-- By Sam Herbert (@sherb), for everyone. More @ http://goo.gl/7AJzbL -->
 2 | <svg width="45" height="45" viewBox="0 0 45 45" xmlns="http://www.w3.org/2000/svg" stroke="#4FC1EA">
 3 |     <g fill="none" fill-rule="evenodd" transform="translate(1 1)" stroke-width="2">
 4 |         <circle cx="22" cy="22" r="6" stroke-opacity="0">
 5 |             <animate attributeName="r"
 6 |                  begin="1.5s" dur="3s"
 7 |                  values="6;22"
 8 |                  calcMode="linear"
 9 |                  repeatCount="indefinite" />
10 |             <animate attributeName="stroke-opacity"
11 |                  begin="1.5s" dur="3s"
12 |                  values="1;0" calcMode="linear"
13 |                  repeatCount="indefinite" />
14 |             <animate attributeName="stroke-width"
15 |                  begin="1.5s" dur="3s"
16 |                  values="2;0" calcMode="linear"
17 |                  repeatCount="indefinite" />
18 |         </circle>
19 |         <circle cx="22" cy="22" r="6" stroke-opacity="0">
20 |             <animate attributeName="r"
21 |                  begin="3s" dur="3s"
22 |                  values="6;22"
23 |                  calcMode="linear"
24 |                  repeatCount="indefinite" />
25 |             <animate attributeName="stroke-opacity"
26 |                  begin="3s" dur="3s"
27 |                  values="1;0" calcMode="linear"
28 |                  repeatCount="indefinite" />
29 |             <animate attributeName="stroke-width"
30 |                  begin="3s" dur="3s"
31 |                  values="2;0" calcMode="linear"
32 |                  repeatCount="indefinite" />
33 |         </circle>
34 |         <circle cx="22" cy="22" r="8">
35 |             <animate attributeName="r"
36 |                  begin="0s" dur="1.5s"
37 |                  values="6;1;2;3;4;5;6"
38 |                  calcMode="linear"
39 |                  repeatCount="indefinite" />
40 |         </circle>
41 |     </g>
42 | </svg>


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/tools/render_shortcode_docs.py:
--------------------------------------------------------------------------------
 1 | import os
 2 | import re
 3 | 
 4 | shortcodes = [
 5 |     os.path.join(dirpath, filename)
 6 |     for (dirpath, dirs, files) in os.walk(".")
 7 |     for filename in files
 8 |     if (dirpath.endswith("/shortcodes") and filename.endswith(".html"))
 9 | ]
10 | 
11 | 
12 | def shortcode_doc(fn):
13 |     """
14 |     Return description, example, code
15 |     """
16 |     with open(fn) as f:
17 |         data = f.read()
18 | 
19 |     match = re.match(
20 |         "^{{/\\*.*doc: ([^\n]*)(.*?)^\\*/}}$", data, re.MULTILINE | re.DOTALL
21 |     )
22 | 
23 |     if not match:
24 |         return None, None, None
25 | 
26 |     description, code = match.group(1), match.group(2).strip()
27 | 
28 |     example = (
29 |         code.replace("{{< ", "{{</* ")
30 |         .replace(" >}}", " */>}}")
31 |         .replace("{{% ", "{{%/* ")
32 |         .replace(" %}}", " */%}}")
33 |     )
34 | 
35 |     return description, example, code
36 | 
37 | 
38 | print(
39 |     """\
40 | ---
41 | title: Shortcodes
42 | shortcutDepth: 1
43 | ---
44 | 
45 | <!-- DO NOT EDIT.  This file is generated by `tools/render_shortcode_docs.py`.  -->
46 | 
47 | Markdown is a convenient and simple format to write in.
48 | However, it doesn't always do everything we want (or do it in a nice way).
49 | Rather than adding raw HTML to our source files, Hugo allows us to use
50 | _shortcodes_.  Shortcodes are small snippets that look like this
51 | ```
52 | {{</* _shortcodename parameters_ */>}}
53 | ```
54 | that Hugo renders using a predefined template.
55 | 
56 | Here are some shortcodes used by this theme.
57 | """
58 | )
59 | 
60 | for shortcode_fn in shortcodes:
61 |     title = os.path.basename(shortcode_fn).replace(".html", "")
62 |     description, example, code = shortcode_doc(shortcode_fn)
63 |     if description is None:
64 |         continue
65 |     print(f"## `{title}`")
66 |     print()
67 |     print(description)
68 |     print(f"```\n{example}\n```")
69 |     print("This example renders as:")
70 |     print("___")
71 |     print(code)
72 |     print("___")
73 | 


--------------------------------------------------------------------------------
/web/themes/scientific-python-hugo-theme/tools/team_query.py:
--------------------------------------------------------------------------------
  1 | import os
  2 | import sys
  3 | import argparse
  4 | import string
  5 | 
  6 | import requests
  7 | 
  8 | 
  9 | team_query = string.Template(
 10 |     """
 11 |   query {
 12 |     organization(login: "$org") {
 13 |       team(slug: "$team") {
 14 |         name,
 15 |         members(first: 100, orderBy: {field: LOGIN, direction: ASC}) {
 16 |           nodes {
 17 |             login
 18 |             name
 19 |             url
 20 |             avatarUrl
 21 |           }
 22 |         }
 23 |       }
 24 |     }
 25 |   }
 26 | """
 27 | )
 28 | 
 29 | 
 30 | def api(query):
 31 |     request = requests.post(
 32 |         "https://api.github.com/graphql",
 33 |         json={"query": query},
 34 |         headers={"Authorization": f"bearer {token}"},
 35 |     )
 36 |     if request.status_code == 200:
 37 |         return request.json()
 38 |     else:
 39 |         raise RuntimeError("Request received HTTP {request.status_code}: {query}")
 40 | 
 41 | 
 42 | parser = argparse.ArgumentParser(description="Generate team gallery from GitHub")
 43 | parser.add_argument("--org", required=True, help="GitHub organization name")
 44 | parser.add_argument("--team", required=True, help="Team name in the organization")
 45 | args = parser.parse_args()
 46 | 
 47 | org = args.org
 48 | team = args.team
 49 | 
 50 | token = os.environ.get("GH_TOKEN", None)
 51 | if token is None:
 52 |     print(
 53 |         "No token found.  Please export a GH_TOKEN with permissions "
 54 |         "to read team members.",
 55 |         file=sys.stderr,
 56 |     )
 57 |     sys.exit(-1)
 58 | 
 59 | 
 60 | resp = api(team_query.substitute(org=org, team=team))
 61 | members = resp["data"]["organization"]["team"]["members"]["nodes"]
 62 | team_name = resp["data"]["organization"]["team"]["name"]
 63 | 
 64 | team_template = string.Template(
 65 |     """
 66 | <div class="team">
 67 |   <h3 class="name title">${team_name}</h3>
 68 |   <div class="members">
 69 |     ${members}
 70 |   </div>
 71 | </div>
 72 | """
 73 | )
 74 | 
 75 | member_template = string.Template(
 76 |     """
 77 |     <div class="member">
 78 |       <a href="${url}" class="name">
 79 |         <div class="photo">
 80 |           <img
 81 |             src="${avatarUrl}"
 82 |             loading="lazy"
 83 |             alt="Avatar of ${name}"
 84 |           />
 85 |         </div>
 86 |         ${name}
 87 |       </a>
 88 |     </div>
 89 | """
 90 | )
 91 | 
 92 | members_list = []
 93 | for m in members:
 94 |     m["name"] = m["name"] or m["login"]
 95 |     members_list.append(member_template.substitute(**m))
 96 | 
 97 | members_str = "".join(members_list)
 98 | team_str = team_template.substitute(members=members_str, team_name=team_name)
 99 | 
100 | print(team_str)
101 | 


--------------------------------------------------------------------------------
/win/unistd.h:
--------------------------------------------------------------------------------
 1 | #ifndef _UNISTD_H
 2 | #define _UNISTD_H    1
 3 | 
 4 | /* This is intended as a drop-in replacement for unistd.h on Windows.
 5 |  * Please add functionality as neeeded.
 6 |  * https://stackoverflow.com/a/826027/1202830
 7 |  */
 8 | 
 9 | #include <stdlib.h>
10 | #include <io.h>
11 | //#include <getopt.h> /* getopt at: https://gist.github.com/ashelly/7776712 */
12 | #include <process.h> /* for getpid() and the exec..() family */
13 | #include <direct.h> /* for _getcwd() and _chdir() */
14 | 
15 | #define srandom srand
16 | #define random rand
17 | 
18 | /* Values for the second argument to access.
19 |    These may be OR'd together.  */
20 | #define R_OK    4       /* Test for read permission.  */
21 | #define W_OK    2       /* Test for write permission.  */
22 | //#define   X_OK    1       /* execute permission - unsupported in windows*/
23 | #define F_OK    0       /* Test for existence.  */
24 | 
25 | #define access _access
26 | #define dup2 _dup2
27 | #define execve _execve
28 | #define ftruncate _chsize
29 | #define unlink _unlink
30 | #define fileno _fileno
31 | #define getcwd _getcwd
32 | #define chdir _chdir
33 | #define isatty _isatty
34 | #define lseek _lseek
35 | /* read, write, and close are NOT being #defined here, because while there are file handle specific versions for Windows, they probably don't work for sockets. You need to look at your app and consider whether to call e.g. closesocket(). */
36 | 
37 | #ifdef _WIN64
38 | #define ssize_t __int64
39 | #else
40 | #define ssize_t long
41 | #endif
42 | 
43 | #define STDIN_FILENO 0
44 | #define STDOUT_FILENO 1
45 | #define STDERR_FILENO 2
46 | /* should be in some equivalent to <sys/types.h> */
47 | // typedef __int8            int8_t;
48 | typedef __int16           int16_t; 
49 | typedef __int32           int32_t;
50 | typedef __int64           int64_t;
51 | // typedef unsigned __int8   uint8_t;
52 | typedef unsigned __int16  uint16_t;
53 | typedef unsigned __int32  uint32_t;
54 | typedef unsigned __int64  uint64_t;
55 | 
56 | #endif /* unistd.h  */


--------------------------------------------------------------------------------