flamapy / flamapy_fw

This repository hosts the main components of flamapy
4 stars 5 forks source link

bug: SAT should only be imported into the sat metamodel #105

Open joszamama opened 1 year ago

joszamama commented 1 year ago

In the requirements.txt file there is a python-sat dependency that should not be included, since it is a SAT dependency. Specifically, an attempt is made to install python-sat==0.1.5.dev16.