total uncompressed bytes
100.6 KB
total files
16
Fix
12 wasted files
total waste: 48.5 KB
- src/examples/propagator.rs : 13.6 KB
- src/examples/ast.rs : 5.2 KB
- src/examples/statistics.rs : 5.2 KB
- src/examples/theory-atoms.rs : 4.2 KB
- src/examples/model.rs : 3.7 KB
- src/examples/configuration.rs : 3.5 KB
- src/examples/backend.rs : 3.5 KB
- src/examples/solve-async.rs : 3.1 KB
- src/examples/control.rs : 2.4 KB
- src/examples/symbol.rs : 2.1 KB
- src/examples/symbolic-atoms.rs : 1.9 KB
- src/examples/version.rs : 160 B