ArgexSim
ArgexSim is only sharing this with friends.