AcaSolver