Abaqus CDP(Concrete Damaged Plasticity) model can replicate the failure, given that you define the properties of concrete correctly. The convergence problems do exist in static general analysis and can be eliminated by defining small value of visco plastic regularization or explicit approach can be used with slow loading rate which is computationally expensive. As per your concern, yes it replicates the non linear behaviour of concrete.
ANSYS does cover RC. You can use solid65 element with different nonlinear plasticity models with cracking and crushing capabilities and with rebar information in any direction you want, with pretty easily adjustable concrete material model in 3D (including principal energies for fractures). Even though the solid65 includes rebar model, it is wiser to turned that off and model reinforcement using 1D link elements. The Prestressing can be applied on "other" link elements that traverse the solid45 concrete elements as prestressing tendons. Simply look for solid65, and for Concrete material option in the TB command.
You may try Concrete Damaged Plasticity as a constitutive material model and employ Riks analysis to determine load-deflection curve of concrete member.