Scaleable, transparent and efficient Distributed Oracle Agreement
A static data-race checker for OpenMP programs.
An open-source solver for incomplete MaxSAT
A tool for automated repair of CUDA and OpenCL kernels
An open-source MaxSAT and Pseudo-Boolean solver
A symbolic execution engine