Added a FCI solver