Published September 29, 2021
| Version 3.0
Software
Open
GPUSAT3
Description
Source code for the GPUSAT3 model counter, as discussed in "Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization" the CP 2021 proceedings.
This release archives the 3.0 release of https://github.com/daajoe/GPUSAT/releases/tag/v3.000-pre.
Files
Files
(69.0 kB)
Name | Size | Download all |
---|---|---|
md5:3e0d70643c781cb50c7ada3df9fe2397
|
69.0 kB | Download |