Weighted existential variables

[vuphan314]

@nianzelee

It would be great if existential variables can have weights like random variables do.

If that is supported, then this SSAT tool can also perform CNF-based MPE (literal-weighted SAT).

Thank you.

[nianzelee]

Thank you for the suggestion.
I will talk to Roland to see if there are students available for this task.