|
| | Generic propagators |
| | This module contains a description of all predefined generic propagators.
|
| |
| | Integer propagators |
| | This module contains a description of all predefined integer propagators. They can be reused, for example, for rewriting newly defined integer propagators into already available propagators.
|
| |
| | Set propagators |
| | This module contains a description of all predefined finite set propagators. They can be reused, for example, for rewriting newly defined finite set propagators into already available propagators.
|
| |
| | Float propagators |
| | This module contains a description of all predefined float propagators. They can be reused, for example, for rewriting newly defined float propagators into already available propagators.
|
| |
| | Merit-based float view selection for branchers |
| | Contains merit-based view selection strategies on float views that can be used together with the generic view/value brancher classes.
|
| |
| | Float value selection for brancher |
| | Contains a description of value selection strategies on float views that can be used together with the generic view/value branchers.
|
| |
| | Float value commit classes |
| | Contains the value commit classes for float views that can be used together with the generic view/value branchers.
|
| |
| | Merit-based integer view selection for branchers |
| | Contains merit-based view selection strategies on integer views that can be used together with the generic view/value brancher classes.
|
| |
| | Integer value selection for brancher |
| | Contains a description of value selection strategies on integer views that can be used together with the generic view/value branchers.
|
| |
| | Integer value commit classes |
| | Contains the value commit classes for integer and Boolean views that can be used together with the generic view/value branchers.
|
| |
| | Merit-based set view selection for branchers |
| | Contains merit-based view selection strategies on set views that can be used together with the generic view/value brancher classes.
|
| |
| | Set value selection for brancher |
| | Contains a description of value selection strategies on set views that can be used together with the generic view/value branchers.
|
| |
| | Set value commit classes |
| | Contains the value commit classes for set views that can be used together with the generic view/value branchers.
|
| |
