The propagators completion is an abstract domain encapsulating the propagation component of a constraint programming solver. It implements propagators on top of another abstract domain. This library requires CUDA 12.0 or higher.
ameta20/lala-pc
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|