Dbgen: AIG, MIG synthesis.
Был у меня вопрос, касающийся названий всех этих сгенерированных баз. Как-то я его для себя решил, но не уверен, что моё решение сгодится. Сам код dbgen, наверно, желательно посмотреть. AIG сгенерировать не удалось: за ночь компьютер не справился. Также я модифицировал класс ConePremapper, сами же премапперы перевёл на синтез с помощью сгенерированных баз, таким образом, остался только ConeAigMapper, который синтезирует с помощью Минато-Морреале.
Edited by Вершков Максим Дмитриевич