While the rules do not specifically prohibit this, are calculator programs that are able to solve (simplify, etc.) circuits allowed?

Yes, the rules explicitly allow any calculator, which also includes any program running on any calculator.