Credits
We gratefully acknowledge ASEE, NSF, DARPA, NASA, and AFOSR for funding parts of this project.
We thank Athreyi Badithela for creating the artwork.
The following projects were used to build Pacti:
python |
pdm |
copier-pdm
Runtime dependencies¶
| Project | Summary | Version (accepted) | Version (last resolved) | License |
|---|---|---|---|---|
ipykernel |
IPython Kernel for Jupyter | >=6.25.0 |
6.31.0 |
? |
matplotlib |
Python plotting package | >=3.6.2 |
3.9.4 |
Python Software Foundation License |
nbconvert |
Convert Jupyter Notebooks (.ipynb files) to other formats. | >=7.16.5 |
7.17.1 |
BSD License |
numpy |
Fundamental package for array computing in Python | >=1.24.1 |
2.0.2 |
BSD License |
pyparsing |
pyparsing - Classes and methods to define and execute parsing grammars | >=3.0.9 |
3.3.2 |
? |
scipy |
Fundamental algorithms for scientific computing in Python | >=1.10.0 |
1.13.1 |
BSD License |
sympy |
Computer algebra system (CAS) in Python | >=1.11.1 |
1.14.0 |
BSD |
typing-extensions |
Backported and Experimental Type Hints for Python 3.9+ | >=4.5.0 |
4.15.0 |
? |
z3-solver |
an efficient SMT solver library | >=4.15.1.0 |
4.16.0.0 |
MIT License |
Development dependencies¶
| Project | Summary | Version (accepted) | Version (last resolved) | License |
|---|---|---|---|---|
autoflake |
Removes unused imports and unused variables | >=1.4 |
2.3.1 |
MIT |
black |
The uncompromising code formatter. | >=21.10b0 |
25.11.0 |
? |
duty |
A simple task runner. | >=0.7 |
1.6.3 |
? |
git-changelog |
Automatic Changelog generator using Jinja2 templates. | >=0.4 |
2.6.3 |
? |
isort |
A Python utility / library to sort Python imports. | >=5.10 |
6.1.0 |
MIT License |
markdown-callouts |
Markdown extension: a classier syntax for admonitions | >=0.2 |
0.4.0 |
MIT License |
markdown-exec |
Utilities to execute code blocks in Markdown files. | >=0.5 |
1.11.0 |
? |
mkdocs |
Project documentation with Markdown. | >=1.6 |
1.6.1 |
BSD License |
mkdocs-coverage |
MkDocs plugin to integrate your coverage HTML report into your site. | >=0.2 |
2.0.0 |
? |
mkdocs-gen-files |
MkDocs plugin to programmatically generate documentation pages during the build | >=0.3 |
0.6.1 |
MIT License |
mkdocs-literate-nav |
MkDocs plugin to specify the navigation in Markdown instead of YAML | >=0.4 |
0.6.3 |
MIT License |
mkdocs-material |
Documentation that simply works | >=9.2,<9.3 |
9.2.8 |
MIT License |
mkdocs-section-index |
MkDocs plugin to allow clickable sections that lead to an index page | >=0.3 |
0.3.11 |
MIT License |
mkdocs-video |
>=1.3.0 |
1.5.0 |
MIT | |
mkdocstrings |
Automatic documentation from sources, for MkDocs. | [python]>=0.28 |
0.30.1 |
? |
toml |
Python Library for Tom's Obvious, Minimal Language | >=0.10 |
0.10.2 |
MIT |
urlopen |
A simple printer of automated lists | >=1.0.0 |
1.0.0 |
? |