柯洁下棋软件主要包括以下几款：

AlphaGo 2.0：

由谷歌旗下英国DeepMind公司出品，柯洁曾在2017年5月27日与之进行比赛，最终以0比3落败。

弈客围棋：

这是一款围棋对弈软件，隶属于上海弈客信息技术有限公司。

星阵围棋：

由北京深客科技有限公司开发，曾与世界围棋冠军柯洁对战，并多次获得世界围棋AI大赛冠军。星阵围棋提供手机端软件、iPad软件以及电脑网页版。

绝艺：

由腾讯AI Lab研发，柯洁曾在2018年1月与之进行比赛，尽管被让二子，柯洁在第77手时认输。

这些软件在围棋界有着广泛的影响，柯洁与它们的互动也推动了围棋与人工智能的结合和发展。