Published May 30, 2021 | Version MC2021
Software Open

ngo-u/gpmc: MC 2021 submission

Creators

  • 1. Nagoya University

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