search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Added `GeneticMaxSatSolver` #382

Open piyush-J opened 2 years ago

piyush-J commented 2 years ago

GeneticMaxSatSolver adds support to use Genetic Algorithm to optimize the PreferenceConstraint weights