Nay PLDI20 artifact
| Main Author: | Qinheping Hu |
|---|---|
| Format: | info software eJournal |
| Terbitan: |
, 2020
|
| Online Access: |
https://zenodo.org/record/3757043 |
Daftar Isi:
- The artifact of Nay, a synthesizer which can prove unrealizability of unrealizable SyGuS problems. More detail can be found in https://arxiv.org/abs/2004.00878