Added AMP and AIHT to __init__.py
Added realdict as an optional parameter to solve()