Skip to content
Open-Source Registry

cargo / ferroplan-sat

ferroplan-sat 0.29.0

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnsnone
processes
165
operations
1.8K
packages
5
compiler runs
1
connections
0
job time
7s
capture
47 KB
records
3.9K
bytes / record
12.0

ferroplan's in-tree CDCL SAT solver — absorbed from varisat 0.2.2 and carried forward as ferroplan code

Build behaviourcompiled and nothing more

207 downloads · Apache-2.0 OR MIT · source · home page cdclcnfplanningsatsolver View on crates.io

Artifact

file · retained · product · graph v2
1

Checks

12 of 12 clear
Build behavior✓✓✓✓✓✓✓
Supply chain✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 1.8K flows.

Dependencies5Build behaviour
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
Versions7RiskVulnsPublished
0.28.0not analyzed2026-09-29
0.27.1not analyzed2026-09-11
0.27.0not analyzed2026-09-11
0.26.0not analyzed2026-09-04
0.25.0not analyzed2026-08-28
0.24.0not analyzed2026-08-21
0.29.0nonenone

Raw data

capture
47 KB
records
3,907
bytes per record
12.0

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-16 · run 8af40f82-04d3-46a0-b191-ac33234a461e

analysis 0.1.0 · 2026-10-15 · 244c7b2 · graph v2