Extend ternary truth table operations to handle don't cares#144

Merged

costamag merged 3 commits intolsils:masterfrom

costamag:ternary-ops

May 19, 2025

Commits on May 19, 2025

feat: modified has_var function to take don't cares into account.
Andrea Costamagna
committed
feat: min_base_inplace for ternary_truth_tables exploiting don't cares
Andrea Costamagna
committed
feat: added option to check has_var without modifying the functionality ( not inplace/inplace )
Andrea Costamagna
committed