CORAL: Heuristic constraint solver for mathematical problems

qCORAL: Extension of CORAL to quantify solution spaces of complex constraint problems

RWSets: Re-implementation of read-write sets dependency analysis