search

pysathq / pysat

A toolkit for SAT-based prototyping in Python
https://pysathq.github.io/
MIT License
386 stars 69 forks source link

Add possibility to exclude MIT license incompatible solvers #141

Closed Lorenz-Jan closed 5 months ago

Lorenz-Jan commented 1 year ago

Lingeling's license is quite restrictive and is thus not compatible with the MIT license. This commit introduces a method to exclude it from the installation. Setting no_mit_incompatible to False ensures that all solvers are installed (same behavior as before).

alexeyignatiev commented 1 year ago

Thanks for the patch, @Lorenz-Jan. It would help to understand what exactly the proposed patch is doing. Unfortunately, I can't find time to look into the details right now. So this may need to wait. Sorry about this.