nixsearch
nixsearch / pkg / haskellPackages.smtlib-backends-z3 / 0.3.1

haskellPackages.smtlib-backends-z3 0.3.1

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.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit55ba7f49ef2962b42cbd126522b7df5f95037679 
$ nix shell github:NixOS/nixpkgs/55ba7f49ef2962b42cbd126522b7df5f95037679#haskellPackages.smtlib-backends-z3
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.smtlib-backends-z3

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.smtlib-backends-z3 55ba7f49ef29
out
/nix/store/7fi6i78ifxj159nihgip8r61al4h1g9k-smtlib-backends-z3-0.3.1
doc (not default)
/nix/store/2d6xvz7gdhgg2y1k0am5cvld35wmm254-smtlib-backends-z3-0.3.1-doc
aarch64-linux
Linux · arm64		 haskellPackages.smtlib-backends-z3 55ba7f49ef29
out
/nix/store/xjfik8r3g12d69h4w299q453w41hn92s-smtlib-backends-z3-0.3.1
doc (not default)
/nix/store/q3hl38m743127jfcrlscxil5hh1m478q-smtlib-backends-z3-0.3.1-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.smtlib-backends-z3 3d46470bb303
out
/nix/store/dvlvjirg743k4bxbahqzwfv3a1x77fj5-smtlib-backends-z3-0.3.1
doc (not default)
/nix/store/ha8lxzilqm2fqig2x0ywiz8yi6nksmzx-smtlib-backends-z3-0.3.1-doc
x86_64-linux
Linux · x86-64		 haskellPackages.smtlib-backends-z3 55ba7f49ef29
out
/nix/store/91bshkpbfwf88q7sma2p6cw2bvcmmrgf-smtlib-backends-z3-0.3.1
doc (not default)
/nix/store/3q5ihrc9z57m96aqh6c3pzv11086gym8-smtlib-backends-z3-0.3.1-doc
all 2 releases older: 0.3 →

JSON: /v2/pkg?name=haskellPackages.smtlib-backends-z3 · /v2/resolve?name=haskellPackages.smtlib-backends-z3&version=0.3.1