Open paul0noah opened 3 weeks ago
Follow up: when using the above linked commit the installation runs fine. But when i run in python the following
import BDD.bdd_solver
i get the error
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ModuleNotFoundError: No module named 'BDD.bdd_solver'
When i use commit f377a82736435bc4988e2c41e5c8029c168e9505 everything works. So somwhere after this commit the python bindings break.
After commit
99d13dfe34ed0d5c4ecbd69cdf39d4d690117903
i get the following error when installing the python bindingsWhen i revert back to commit "Added pybind11 json conversion." everything works just fine.
So i guess the newest commit destroys the python binding setup through cmake