Alat Neuro-symbolic AI - Toolidx