Closed mahi045 closed 2 years ago
How to specify the weight of literals for weighted model counting in the .cnf file? It would be helpful if there is an example having weights of literals.
How to specify the weight of literals for weighted model counting in the .cnf file? It would be helpful if there is an example having weights of literals.