https://github.com/mohitKULeuven/hassle

from the paper:

Kumar, Mohit, et al. "Learning MAX-SAT from contextual examples for combinatorial optimisation." AAAI. 2020.