High-performance theorem prover and SMT solver
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/applications/science/logic/yices/default.nixCould not load new data. Automatic updates will retry; you can also reload.
High-performance theorem prover and SMT solver
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/applications/science/logic/yices/default.nix