Popular repositories

1. CombiSAT Public

   An experimental parallel Python-based SAT solver obtained by aggregating a portfolio of multiple sequential SAT solvers running different strategies

   Python 5 1

2. s2e_docker Public

   Docker image for S2E http://s2e.epfl.ch/

   Shell 3

3. Pynfoscience Public

   Python scripts for accessing and generating publication information from EPFL's Infoscience service

   Python 1

4. linux-s2e Public

   Linux kernel instrumented for S2E support

   C 1

5. thesis Public

   My PhD thesis

   TeX 1

6. z3go Public

   Go bindings for the Z3 SMT solver

   Go 1 3