added compiled solver