`MaxSatSolver` now uses the weights of `PreferenceConstraint` instead of the default weight - Githubissues

opprop / checker-framework-inference

Inference of pluggable types for Java

6 stars 13 forks source link

`MaxSatSolver` now uses the weights of `PreferenceConstraint` instead of the default weight #376

Closed piyush-J closed 2 years ago