nixsearch
nixsearch / pkg / haskellPackages.linearEqSolver / 2.4

haskellPackages.linearEqSolver 2.4

Use SMT solvers to solve linear systems over integers and rationals
Linux and macOS last changed outputs: out, doc

Pin this version

$ devbox add haskellPackages.linearEqSolver@2.4
systemsaarch64-darwin, x86_64-linux commit0a3468a402c449992505b6a9fc5b06580141b750 
$ nix shell github:NixOS/nixpkgs/0a3468a402c449992505b6a9fc5b06580141b750#haskellPackages.linearEqSolver
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#haskellPackages.linearEqSolver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.linearEqSolver 0a3468a402c4
out
/nix/store/ffhvwriskzxw1q0v8slws3clsj7sppyg-linearEqSolver-2.4
doc (not default)
/nix/store/40lz0zvics4nrjdnp490ibpjzfpizins-linearEqSolver-2.4-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.linearEqSolver 3d46470bb303
out
/nix/store/m1k64pjpl502xq8qr1igkazkhbm1rpg9-linearEqSolver-2.4
doc (not default)
/nix/store/x770b4jwgp69jhcj1mljckn4r7l5anjg-linearEqSolver-2.4-doc
x86_64-linux
Linux · x86-64		 haskellPackages.linearEqSolver 0a3468a402c4
out
/nix/store/g2siab5q9kb44z6bvxykqs73wr8v03i2-linearEqSolver-2.4
doc (not default)
/nix/store/y6jj122vwhwgfi5mr4pgf183k8nslkal-linearEqSolver-2.4-doc
all 2 releases older: 2.3 →

JSON: /v2/pkg?name=haskellPackages.linearEqSolver · /v2/resolve?name=haskellPackages.linearEqSolver&version=2.4