yices: total reverse dependencies
Direct reverse dependencies | Indirect reverse dependencies | Total |
---|---|---|
4 | 11 | 15 |
Package name | Total reverse dependencies |
---|---|
acme-everything | 0 (view) |
arduino-copilot | 0 (view) |
atom | 10 (view) |
atom-msp430 | 1 (view) |
copilot | 6 (view) |
copilot-c99 | 8 (view) |
copilot-cbmc | 7 (view) |
copilot-frp-sketch | 0 (view) |
copilot-verifier | 0 (view) |
fault-tree | 1 (view) |
improve | 3 (view) |
ltl | 1 (view) |
sketch-frp-copilot | 2 (view) |
vcd | 2 (view) |
zephyr-copilot | 0 (view) |