total uncompressed bytes
264.6 KB
total files
18
Fix
13 wasted files
total waste: 38.9 KB
- src/examples/propagator.rs : 9.8 KB
- src/examples/ast.rs : 4.9 KB
- src/examples/statistics.rs : 4.3 KB
- src/examples/theory-atoms.rs : 3.4 KB
- src/examples/backend.rs : 2.9 KB
- src/examples/configuration.rs : 2.6 KB
- src/examples/model.rs : 2.4 KB
- src/examples/solve-async.rs : 2.1 KB
- src/examples/inject-terms.rs : 1.9 KB
- src/examples/control.rs : 1.7 KB
- src/examples/symbol.rs : 1.5 KB
- src/examples/symbolic-atoms.rs : 1.1 KB
- src/examples/version.rs : 147 B