jawline/rust-sat
Attempt at building a 3-SAT CNF solver in Rust
Public GitHub Catalog
Discovered Oct 13, 2026
jawline / Genetix
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#36983456GitHub System ID
jawlineOrganization / User
PublicVisibility
ActiveCatalog Status
More from jawline
jawline/klee-rust
A interface for KLEE on the Rust language
jawline/PiFC
Building a Raspberry Pi flight controller
jawline/CoreConstraint
Forked the linear constraint solver from CoreVM as it will no longer be used