SolverManager (aloha API)

All Known Implementing Classes:

SolverManagerImpl
```
public interface SolverManager
```
This interface provides methods to retrieve all available solvers and get and set the active solver.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`addSolvers(java.util.List<Solver> solvers)`
`Solver`	`getActiveSolver()`
`java.util.List<Solver>`	`getSolvers()`
`void`	`setActiveSolver(Solver solver)`	set the given Solver as the active one.

- Method Detail
  - getSolvers
```
java.util.List<Solver> getSolvers()
```
    Returns:
    
    a list of all available solvers
  - setActiveSolver
```
void setActiveSolver(Solver solver)
```
    set the given Solver as the active one.
    
    Parameters:
    
    solver - the solver to set as active.
  - getActiveSolver
```
Solver getActiveSolver()
```
    Returns:
    
    the actually active solver.
  - addSolvers
```
void addSolvers(java.util.List<Solver> solvers)
```