GAMBA

GAMBA GAMBA は、混合ブール演算（MBA）式を簡略化するためのツールです。 GAMBA は General Advanced Mixed Boolean Arithmetic simplifier の略です。 線形代数に基づく簡略化器 SiMBA を使用して、非線形の入力 MBA に含まれる線形部分式を反復的に簡略化します。全体として、その中核となる要素は以下のとおりです。 抽象構文木（AST）の使用 （自明な、およびより高度な）変換を適用することによる線形部分式の分離 簡略化可能な線形部分式を構築する可能性を高めるためのリファクタリング SiMBA を用いた線形部分式の簡略化...