nixsearch / pkg / haskellPackages.smtlib-backends-z3 / 0.3
haskellPackages.smtlib-backends-z3 0.3
An SMT-LIB backend implemented using Z3's C API
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.smtlib-backends-z3@0.3
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita343533bccc62400e8a9560423486a3b6c11a23b
$ nix shell github:NixOS/nixpkgs/a343533bccc62400e8a9560423486a3b6c11a23b#haskellPackages.smtlib-backends-z3
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.smtlib-backends-z3 |
a343533bccc6 | out/nix/store/ssl6x0v5lcpbd472ij0bxjhal0mhfgbp-smtlib-backends-z3-0.3 doc (not default)/nix/store/cxj4f68bvzlwibs2b7ar860c040kpkv7-smtlib-backends-z3-0.3-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.smtlib-backends-z3 |
a343533bccc6 | out/nix/store/6vhs00m03cv111byc1h4xklx8xacnh4s-smtlib-backends-z3-0.3 doc (not default)/nix/store/fzyi66bvx6342209qfchsv35nlrwdwnz-smtlib-backends-z3-0.3-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.smtlib-backends-z3 |
a343533bccc6 | out/nix/store/x51bf9a9rn2zxm7hsiymqgbas64m7zx9-smtlib-backends-z3-0.3 doc (not default)/nix/store/p7v75cxq3wp11svj0ym6y00v8fb4m4hl-smtlib-backends-z3-0.3-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.smtlib-backends-z3 |
a343533bccc6 | out/nix/store/7cvws9wjas8jqva5i7wmxbdx0qlyc79x-smtlib-backends-z3-0.3 doc (not default)/nix/store/sll2xpmc1sx563cw75c359x37nfdw7fh-smtlib-backends-z3-0.3-doc |
JSON: /v2/pkg?name=haskellPackages.smtlib-backends-z3 · /v2/resolve?name=haskellPackages.smtlib-backends-z3&version=0.3