x86_64-linux · 151fa4e8ddfd · generated 2026-10-07T10:25:31Z

python313Packages.pysmt 0.9.6 single

Python library for SMT formulae manipulation and solving

Name
python3.13-pysmt-0.9.6
Package set
python313Packages
Homepage
https://github.com/pysmt/pysmt
License
Apache-2.0
Main program
pysmt-install
Source
pkgs/development/python-modules/pysmt/default.nix:25
Derivation
/nix/store/dgav4a35d24d9cn53jmfyqv475ghilqw-python3.13-pysmt-0.9.6.drv
Repology
not reported as outdated · look up (as of 2026-10-07T10:23:38Z)

Maintainers 1

HandleNameContactVia
fabaff Fabian Affolter GitHub · mail@fabian-affolter.ch · @fabaff:matrix.org listed on package

Dependencies 14

PackageAsMaintainersUsed by (transitive)Status
python313 3.13.15 propagatedBuildInputs
mweinelt
 13,660 team-only outdated
ensureNewerSourcesForZipFilesHook 26.05pre-git nativeBuildInputs
74,596 unmaintained setup hook
python313Packages.pypaInstallHook 26.05pre-git nativeBuildInputs
11,625 unmaintained setup hook
python313Packages.pytestCheckHook 26.05pre-git nativeBuildInputs
10,182 unmaintained setup hook
python313Packages.pythonCatchConflictsHook 26.05pre-git nativeBuildInputs
11,609 unmaintained setup hook
python313Packages.pythonImportsCheckHook 26.05pre-git nativeBuildInputs
11,642 unmaintained setup hook
python313Packages.pythonNamespacesHook 26.05pre-git nativeBuildInputs
11,634 unmaintained setup hook
python313Packages.pythonOutputDistHook 26.05pre-git nativeBuildInputs
74,564 unmaintained setup hook
python313Packages.pythonRemoveBinBytecodeHook 26.05pre-git nativeBuildInputs
74,584 unmaintained setup hook
python313Packages.pythonRemoveTestsDirHook 26.05pre-git nativeBuildInputs
11,634 unmaintained setup hook
python313Packages.setuptoolsBuildHook 26.05pre-git nativeBuildInputs
8,988 unmaintained setup hook
python313Packages.wrapPython 26.05pre-git nativeBuildInputs
11,634 unmaintained setup hook
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,441 maintained outdated
stdenv 26.05pre-git other input
90,330 team-only

Used by 1 directly, 4 transitively

PackageAsMaintainersUsed by (transitive)Status
python313Packages.claripy 9.2.193 propagatedBuildInputs
fabaff
 3 single outdated