ERROR: Failed building wheel for pycddlib

IBM / LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

https://IBM.github.io/LNN/

Apache License 2.0

226 stars 438 forks source link

Closed prasannavj closed 1 year ago

prasannavj commented 1 year ago

While pip installing the LNN getting the error as below. using fresh docker anaconda environment for the installation.

This has been the case when installing on a normal mode as well. please fix the build file.

and all the documentation link were broken.

Mewral commented 1 year ago

Hi, I had the same issue and solved it by apt install libgmp3-dev. Hope it helps

NaweedAghmad commented 1 year ago

the requirement for libgmp3-dev and pycddlib has been removed