yusuke-matsunaga/magus

logic synthesis/verification framework

C++