make the aig_prop_constraintt a member convert_trans_to_netlistt#1100
Merged
tautschnig merged 1 commit intomainfrom May 8, 2025
aig_prop_constraintt a member convert_trans_to_netlistt#1100