marstone/concolic-walk
Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
Public GitHub Catalog
Discovered Oct 2, 2026
marstone / minisat
A minimalistic and high-performance SAT solver
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#25369208GitHub System ID
marstoneOrganization / User
PublicVisibility
ActiveCatalog Status
More from marstone
marstone/indefero
Feature/bugfix fork of indefero project forge
marstone/jcute
Java Concolic Unit Testing Engine
marstone/OpenSMT2
The OpenSMT2 solver repository