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