LinuxSir.cn,穿越时空的Linuxsir!

 找回密码
 注册
搜索
热搜: shell linux mysql
查看: 689|回复: 1

请大家一定要帮帮我,谢谢!!

[复制链接]
发表于 2003-11-20 20:00:54 | 显示全部楼层 |阅读模式
本人下载了一个软件:limboole(是逻辑学方面的软件),但是不会安装,我看里面的说明后还是无法编译,所以请大家在百忙之中帮帮我,在此道谢!

软件下载地址:

http://www.inf.ethz.ch/personal/ ... limboole-0.2.tar.gz

如果您成功安装此软件,请您回复,谢谢!
发表于 2003-11-21 08:17:27 | 显示全部楼层
请给出编译时的错误提示
您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表