Code

Added GeneticMaxSatSolver#382

Code

Open

piyush-J wants to merge 11 commits intoopprop:masteropprop/checker-framework-inference:masterfrom piyush-J:genetic-maxsatpiyush-J/checker-framework-inference:genetic-maxsatCopy head branch name to clipboard

+184-6

Commits

Commits on Feb 1, 2022

• added GeneticMaxSatSolver and support for wcnf

  piyush-J

  committed
  db0e5f2

Commits on Feb 7, 2022

• added support for multiple Preference Constraints

  piyush-J

  committed
  e525003

• minor fix

  piyush-J

  committed
  cc4ea04

Commits on Feb 8, 2022

• cleanups

  piyush-J

  committed
  8739e08

• added comments

  piyush-J

  committed
  fdddc5e

Commits on Feb 16, 2022

• trying with jenetics 5.2.0 for java8

  piyush-J

  committed
  b1aa864

• minor print fix

  piyush-J

  committed
  18b3a80

• jenetics version compatible with java8 and 11

  piyush-J

  committed
  fa4d001

• Merge branch 'master' into genetic-maxsat

  piyush-J

  authored
  8281f2b

Commits on Apr 2, 2024

• Merge branch 'master' into genetic-maxsat

  Ao-senXiong

  authored
  72b0177

Commits on Apr 9, 2024

• Merge branch 'master' into genetic-maxsat

  Ao-senXiong

  authored
  f20679c