下列软件可以用于编程解决“鸡兔同笼”问题的是（ ）。