nixsearch
nixsearch / pkg / haskellPackages.linearEqSolver / 2.3

haskellPackages.linearEqSolver 2.3

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.3
systemsaarch64-darwin, x86_64-darwin commit80c24eeb9ff46aa99617844d0c4168659e35175f 
$ nix shell github:NixOS/nixpkgs/80c24eeb9ff46aa99617844d0c4168659e35175f#haskellPackages.linearEqSolver
systemsx86_64-linux commit9ed4897b224861c69d41f675c359f9c9860acdca 
$ nix shell github:NixOS/nixpkgs/9ed4897b224861c69d41f675c359f9c9860acdca#haskellPackages.linearEqSolver

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.linearEqSolver 80c24eeb9ff4
out
/nix/store/ag1w6jvzxjabz4x4kgkdq8j4ymplfy7r-linearEqSolver-2.3
doc (not default)
/nix/store/2y9w0bdh9ixp964v0bijlz9fqc5avwva-linearEqSolver-2.3-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.linearEqSolver 80c24eeb9ff4
out
/nix/store/0s1sris5wpj2vgz6r93c0dcpl1m43z79-linearEqSolver-2.3
doc (not default)
/nix/store/h18ygz9yirm40r8k3icsrabdz2gysl7w-linearEqSolver-2.3-doc
x86_64-linux
Linux · x86-64		 haskellPackages.linearEqSolver 9ed4897b2248
out
/nix/store/qzvbkb0k4383r48bng44lss7wzi9nhj3-linearEqSolver-2.3
doc (not default)
/nix/store/1yfxgj1zy4gpw3ag9744z7spbx2g7m4a-linearEqSolver-2.3-doc
← newer: 2.4 all 2 releases

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