cargo / cadical-sys
cadical-sys 0.8.0
clean- processes
- 624
- operations
- 85K
- packages
- 82
- compiler runs
- 300
- connections
- 1
- job time
- 4m 13s
- capture
- 314 KB
- records
- 108K
- bytes / record
- 2.9
Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API.
Artifact
- libcadical_sys.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Sensitive data access and transfer | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Data flow analysis | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Build-time dependency advisories | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| ✓ Dependency and toolchain versions | — |
| Pipeline | |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 85K flows.
Network
0 peerscargo fetched 4,475 files from static.crates.io
Dependencies
83 packages, 12 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| cxx direct | 1.0.204 | observed | build script | |
| cxxbridge-macro | 1.0.204 | observed | proc macro | |
| displaydoc | 0.2.7 | observed | proc macro | |
| getrandom | 0.4.3 | observed | build script | |
| icu_normalizer_data | 2.3.0 | observed | build script | |
| icu_properties_data | 2.3.0 | observed | build script | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.190 | observed | build script | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| link-cplusplus | 1.0.12 | observed | build script | |
| proc-macro2 | 1.0.107 | observed | build script | |
| pulldown-cmark | 0.9.6 | observed | build script | |
| quote | 1.0.47 | observed | build script | |
| scratch | 1.0.9 | observed | build script | |
| serde | 1.0.229 | observed | build script | |
| serde_core | 1.0.229 | observed | build script | |
| serde_derive | 1.0.229 | observed | proc macro | |
| yoke-derive | 0.8.4 | observed | proc macro | |
| zerofrom-derive | 0.1.8 | observed | proc macro | |
| zerovec-derive | 0.11.6 | observed | proc macro | |
| aho-corasick | 1.1.5 | observed | ||
| bitflags | 2.13.2 | observed | ||
| cc direct | 1.7.0 | observed | ||
| cfg-if | 1.0.5 | observed | ||
| chacha20 | 0.10.2 | observed | ||
| codespan-reporting | 0.13.1 | observed | ||
| cpufeatures | 0.3.1 | observed | ||
| cxx-build direct | 1.0.204 | observed | ||
| cxxbridge-flags | 1.0.204 | observed | ||
| equivalent | 1.0.2 | observed | ||
| find-msvc-tools | 0.1.14 | observed | ||
| foldhash | 0.2.0 | observed | ||
| form_urlencoded | 1.2.2 | observed | ||
| hashbrown | 0.17.1 | observed | ||
| icu_collections | 2.3.0 | observed | ||
| icu_locale_core | 2.3.0 | observed | ||
| icu_normalizer | 2.3.0 | observed | ||
| icu_properties | 2.3.0 | observed | ||
| icu_provider | 2.3.1 | observed | ||
| idna | 1.1.0 | observed | ||
| idna_adapter | 1.2.2 | observed | ||
| indexmap | 2.14.2 | observed | ||
| litemap | 0.8.3 | observed | ||
| memchr | 2.8.3 | observed | ||
| percent-encoding | 2.3.2 | observed | ||
| potential_utf | 0.1.6 | observed | ||
| r-efi | 6.0.0 | observed | ||
| rand | 0.10.3 | observed | ||
| rand_core | 0.10.1 | observed | ||
| regex | 1.13.1 | observed | ||
| regex-automata | 0.4.18 | observed | ||
| regex-syntax | 0.8.11 | observed | ||
| semver | 1.0.28 | observed | ||
| serde_spanned | 0.6.9 | observed | ||
| shlex | 2.0.1 | observed | ||
| smallvec | 1.16.3 | observed | ||
| stable_deref_trait | 1.2.1 | observed | ||
| syn | 2.0.119 | observed | ||
| syn | 3.0.7 | observed | ||
| synstructure | 0.14.0 | observed | ||
| termcolor | 1.4.1 | observed | ||
| tinystr | 0.8.4 | observed | ||
| toml | 0.7.8 | observed | ||
| toml_datetime | 0.6.11 | observed | ||
| toml_edit | 0.19.15 | observed | ||
| unicase | 2.10.0 | observed | ||
| unicode-ident | 1.0.26 | observed | ||
| unicode-width | 0.2.2 | observed | ||
| url | 2.5.8 | observed | ||
| utf8_iter | 1.0.4 | observed | ||
| version-sync | 0.9.5 | observed | ||
| winapi-util | 0.1.11 | observed | ||
| windows-link | 0.2.1 | observed | ||
| windows-sys | 0.61.2 | observed | ||
| winnow | 0.5.40 | observed | ||
| writeable | 0.6.4 | observed | ||
| yoke | 0.8.3 | observed | ||
| zerofrom | 0.1.8 | observed | ||
| zerotrie | 0.2.5 | observed | ||
| zerovec | 0.11.8 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-11 · run 64052ff3-6bf8-4a08-ba20-cb7f76f639a8
analysis 0.1.0 · 2026-10-10 · ce2b8d5 · graph v2