search

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

Installation on Mac m1 #70

Closed ismaeelbashir03 closed 1 year ago

ismaeelbashir03 commented 1 year ago

I am trying to setup lnn on my Mac, but I get an error when I run the commands in this order below:

brew install graphviz brew install gmp env "CFLAGS=-I/usr/local/include -L/usr/local/lib" pip install pycddlib

I have tried installing pycddlib without the flags, but this gives the same error.

The error message:

clang-14: warning: argument unused during compilation: '-L/usr/local/lib' [-Wunused-command-line-argument] In file included from cdd.c:6: /Users/ismaeelbashir/miniforge3/envs/lnn/include/python3.9/Python.h:25:10: fatal error: 'stdio.h' file not found

include 

           ^~~~~~~~~
  1 error generated.
  error: command '/Users/ismaeelbashir/miniforge3/envs/lnn/bin/clang' failed with exit code 1
  [end of output]

note: This error originates from a subprocess, and is likely not a problem with pip. error: legacy-install-failure

× Encountered error while trying to install package. ╰─> pycddlib

NaweedAghmad commented 1 year ago

pycddlib has been removed as a dependency