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

python313Packages.deal-solver 0.1.2 single

Z3-powered solver (theorem prover) for deal

Name
python3.13-deal-solver-0.1.2
Package set
python313Packages
Homepage
https://github.com/life4/deal-solver
License
MIT
Source
pkgs/development/python-modules/deal-solver/default.nix:56
Derivation
/nix/store/2lmk54yz501n8jfvmwbibavnps7c93p1-python3.13-deal-solver-0.1.2.drv
Repology
not reported as outdated · look up (as of 2026-10-07T10:23:38Z)

Maintainers 1

HandleNameContactVia
gador Florian Brandes GitHub · florian.brandes@posteo.de listed on package

Dependencies 23

PackageAsMaintainersUsed by (transitive)Status
python313 3.13.15 propagatedBuildInputs
mweinelt
 13,660 team-only outdated
python313Packages.astroid 4.2.0 propagatedBuildInputs
GaetanLepage
 3,938 single outdated
python313Packages.z3-solver 5.1.0 propagatedBuildInputs
numinit, thoughtpolice
 13 maintained
ensureNewerSourcesForZipFilesHook 26.05pre-git nativeBuildInputs
74,596 unmaintained setup hook
python313Packages.flit-core 3.12.0 nativeBuildInputs
mweinelt
 11,627 team-only outdated
python313Packages.hypothesis 6.156.1 nativeBuildInputs
FliegendeWurst
 6,765 single outdated
python313Packages.pypaBuildHook 26.05pre-git nativeBuildInputs
11,598 unmaintained setup hook
python313Packages.pypaInstallHook 26.05pre-git nativeBuildInputs
11,625 unmaintained setup hook
python313Packages.pytest-cov-stub 1.0.0 nativeBuildInputs
pbsds
 6,260 single
python313Packages.pytest-xdist 3.8.0 nativeBuildInputs
dotlambda
 7,922 single
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.pythonMetadataCheckHook 26.05pre-git nativeBuildInputs
dotlambda
 11,597 single 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.pythonRelaxDepsHook 26.05pre-git nativeBuildInputs
11,601 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.pythonRuntimeDepsCheckHook 26.05pre-git nativeBuildInputs
11,611 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.deal 4.24.6 propagatedBuildInputs
gador
 3 single