Package | Description |
---|---|
org.jacop.jasat.core | |
org.jacop.jasat.modules | |
org.jacop.satwrapper |
Class and Description |
---|
SearchModule
A basic searching component, which controls the solver to solve the problem
|
Class and Description |
---|
ActivityModule
counts the activity of literals
|
HeuristicAssertionModule
module used to guide research by selecting the next literal to assert
|
HeuristicRestartModule
A module that indicates if a restart would be useful now.
|
Class and Description |
---|
ActivityModule
counts the activity of literals
|
HeuristicAssertionModule
module used to guide research by selecting the next literal to assert
|
Copyright © 2022. All rights reserved.