我的论文需要使用FDR4,但是当我下载FDR4.2.7时,我发现无法连接到许可服务器。 我还看到了 FDR 发行说明: 发行说明 4.2.7 (11/05/2020) 修复了导致 FDR4 无法连接到许可服务器的其他问题。 4.2.6(2020年10月5日) 修复了 FDR4 无法连接到许可服务器的问题。
我使用 Ubuntu 16.04 TLS,有人可以向我发送 FDR 版本 4.2.5 或其他可以运行演示的版本:“ casper-2.1\ExamplesLibrary\Algebra\dh.csp”,我也有无法运行此演示的 FDR2。
非常感谢。
从这里,
某些 Linux 发行版已移动 TLS 证书存储,FDR 找不到它,因此无法连接。
(在我的机器上)有效的修复是:
sudo mkdir -p /etc/pki/tls/certs/
sudo cp /etc/ssl/certs/ca-certificates.crt /etc/pki/tls/certs/ca-bundle.crt
FDR 获得许可后,您应该能够删除该解决方法。