An unofficial repository of IQAROS reasoner