Published May 30, 2021
| Version MC2021
Software
Open
ngo-u/gpmc: MC 2021 submission
Description
An exact projected model counter. This version is for Model Counting Competition MC2021 Track1&3.
Files
gpmc-mc2021.zip
Files
(1.2 MB)
Name | Size | Download all |
---|---|---|
md5:a074a2c4905cde1b74b3ec70c3916426
|
1.2 MB | Preview Download |