stefanbucur/linux-s2e
Linux kernel instrumented for S2E support
Discovered public repositories for stefanbucur in the GitHub catalog.
Linux kernel instrumented for S2E support
Docker image for S2E http://s2e.epfl.ch/
Python scripts for accessing and generating publication information from EPFL's Infoscience service
An experimental parallel Python-based SAT solver obtained by aggregating a portfolio of multiple sequential SAT solvers running different strategies