| Package | Description |
|---|---|
| org.sat4j.pb.multiobjective | |
| org.sat4j.pb.tools |
Implementation of different tools for pseudo boolean solvers
|
| Class and Description |
|---|
| AbstractLinMultiObjOptimizer
A partial implementation of the IMUltiObjectivePBSolver interface designed to
handle optimization functions which are a linear aggregation of other
objective functions.
|
| IMultiObjOptimizationProblem
A solver which implements this interface must be able to handle multiple
objective functions.
|
| Class and Description |
|---|
| IMultiObjOptimizationProblem
A solver which implements this interface must be able to handle multiple
objective functions.
|
Copyright © 2020 Centre de Recherche en Informatique de Lens (CRIL). All rights reserved.