Flussab is used at run time in 6 crates. It is a direct run-time dependency in 4 crates.
| Depender (with downloads and own rev deps) | Flussab version | |||
|---|---|---|---|---|
| 340 | 1 | flussab-aiger | ^0.3.0 | |
| 140 | 1 | gateconvert | ^0.3.1 | |
| 2 | flussab-cnf | ^0.3.0 | ||
| flussab-btor2 | ^0.3.1 | |||
Flussab is used at run time in 6 crates. It is a direct run-time dependency in 4 crates.
| Depender (with downloads and own rev deps) | Flussab version | |||
|---|---|---|---|---|
| 340 | 1 | flussab-aiger | ^0.3.0 | |
| 140 | 1 | gateconvert | ^0.3.1 | |
| 2 | flussab-cnf | ^0.3.0 | ||
| flussab-btor2 | ^0.3.1 | |||