Add `variable_names_mapping` to `APRProof`, counterexample generation#4574

Closed

palinatolmach wants to merge 3 commits intodevelopfrom map-input-names

+13-1

Commits on Aug 6, 2024

Add variable_names_mapping to APRProof, counterexample generation
palinatolmach
committed

Commits on Aug 22, 2024

Merge branch 'develop' into map-input-names
palinatolmach
committed

Commits on Aug 29, 2024

Merge branch 'develop' into map-input-names
palinatolmach
authored