colibri2 0.6
A CP solver for smtlib
Linux and macOS (Apple Silicon only)
last changed
Pin this version
$ devbox add colibri2@0.6
$ nix shell github:NixOS/nixpkgs/0a3468a402c449992505b6a9fc5b06580141b750#colibri2
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
colibri2 |
0a3468a402c4 | out/nix/store/w2f4km1gfwg3vb9kash9cxayk2lbkll0-ocaml4.14.4-colibri2-0.6 |
||
aarch64-linuxLinux · arm64 |
colibri2 |
0a3468a402c4 | out/nix/store/k4dw0jgx8mgbd61nvwhsxb3idwqmlwl9-ocaml4.14.4-colibri2-0.6 |
||
x86_64-linuxLinux · x86-64 |
colibri2 |
0a3468a402c4 | out/nix/store/xxzl3l11w5z4v8gysyclr961pxhcnan7-ocaml4.14.4-colibri2-0.6 |
JSON: /v2/pkg?name=colibri2 · /v2/resolve?name=colibri2&version=0.6