add incomplete cpp solver