Skip to content
Open-Source Registry

cargo / crabsat

crabsat 0.1.2

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
328
operations
7.4K
packages
24
compiler runs
35
connections
1
job time
1m 56s
capture
113 KB
records
14K
bytes / record
8.0

A high-performance CDCL SAT solver inspired by Kissat

Build behaviourcompiled and nothing more

33 downloads · published 2026-10-14 · source · crates.io cdclincrementalipasirsatsat-solver

Artifact

binary · retained · product · graph v2
2

Checks

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

Detections

0

No detections

No abnormal activity detected across 7.4K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (crabsat) via crates.io · 1,049 files · went into an output ecosystem
Dependencies24Build behaviour
block-buffer0.12.1
bzip20.6.1
cfg-if1.0.5
const-oid0.10.2
cpufeatures0.3.1
crc32fast1.5.2build script
crypto-common0.2.2
digest0.11.3
flate21.1.10
hybrid-array0.4.15
ld-linux-x86-64.so.2system library
libbz2-rs-sys0.2.5
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
lzma-rust20.22.0
miniz_oxide0.9.1
sha20.11.0
simd-adler320.3.10
typenum1.20.1
adler22.0.1
libc0.2.190build script, not run
zlib-rs0.6.8

Raw data

capture
113 KB
records
14,073
bytes per record
8.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-15 · run 50ab3f45-79a6-49c0-80c6-89c2749cbc0c

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