Software does deduct alimony paid.  The 1040 postcard does not show deductions for AGI.  They are simply a deduction between line 6 and line 7 of the 1040 with no reference to what the deduction is for.   Kinda like an IRA contribution.