stefanbucur/linux-s2e
Linux kernel instrumented for S2E support
Public GitHub Catalog
Discovered Sep 24, 2026
stefanbucur / CombiSAT
An experimental parallel Python-based SAT solver obtained by aggregating a portfolio of multiple sequential SAT solvers running different strategies
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.
#675305GitHub System ID
stefanbucurOrganization / User
PublicVisibility
ActiveCatalog Status
More from stefanbucur
stefanbucur/s2e_docker
Docker image for S2E http://s2e.epfl.ch/
stefanbucur/Pynfoscience
Python scripts for accessing and generating publication information from EPFL's Infoscience service