master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

haskellPackages.smtlib-backends-z3 0.3.1 unmaintained

An SMT-LIB backend implemented using Z3's C API

Name
smtlib-backends-z3-0.3.1
Package set
haskellPackages
Homepage
https://hackage.haskell.org/package/smtlib-backends-z3
License
MIT
Source
pkgs/development/haskell-modules/hackage-packages.nix:641749
Derivation
/nix/store/f3wrxs23gwfapm2mxiaz8w9qqyaxk3xl-smtlib-backends-z3-0.3.1.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 0

This package has no maintainers.

Dependencies 12

PackageAsMaintainersUsed by (transitive)Status
haskellPackages.smtlib-backends 0.4 propagatedBuildInputs
ulysses4ever
 21 single
gomp 1.1.1 buildInputs
prusnak
 25 single
haskellPackages.smtlib-backends-tests 0.3 buildInputs
ulysses4ever
 20 single
haskellPackages.tasty 1.5.4 buildInputs
maralorn
 21,757 single
haskellPackages.tasty-hunit 0.10.2 buildInputs
21,544 unmaintained
z3 5.1.0 buildInputs
numinit, thoughtpolice
 114 maintained
ghc 9.10.3 nativeBuildInputs
cdepillabout, guibou, maralorn, sternenseemann, wolfgangwalther
 27,259 maintained
removeReferencesTo nativeBuildInputs
51,801 unmaintained
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
coreutils 9.11 other input
andir, balsoft, dasJ, mdaniels5757, pyrox0
 102,165 maintained outdated
glibcLocales 2.44 other input
55,219 unmaintained
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.