Install Fail on WSL2 - Githubissues

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals

https://dreal.github.io

Apache License 2.0

150 stars 31 forks source link

Open yogurt-shadow opened 5 months ago

yogurt-shadow commented 5 months ago

I am trying to install dreal4 on WSL2 (Ubuntu 22), however something goes wrong.

I seems like something is wrong with public-key.

Please help me. Thank you!

ndtudsj commented 2 months ago

I had the same issue, did you fix it? WSL2 Ubuntu22.04 97da5e7e00f4b9596ac9afdae7059bc

yogurt-shadow commented 1 month ago

@ndtudsj I do not solve this problem. Have you solved it?