{"name":"yices","version":"2.6.4","summary":"High-performance theorem prover and SMT solver","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"yices"},"last_updated":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/1lmaci9sjqlvjb21zzzmisshbjf98ppm-yices-2.6.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"yices"},"last_updated":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/32gyq9cnzsfbm6z68llw8xczgpyk750y-yices-2.6.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"yices"},"last_updated":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/9ph0gf8dwqdya92ps1dhkrkxnrmqky95-yices-2.6.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9858885e197f984d92d7fe64e9fff6b2e488d40"},"attr_path":"yices"},"last_updated":"2024-06-12T20:55:33Z","outputs":[{"name":"out","path":"/nix/store/3ggdnp4a0kk8q63vybpz42alp2ixdjd4-yices-2.6.4","default":true}]}}}