{"data":{"full_name":"erohkohl/mlsolver","name":"mlsolver","description":"Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.","stars":66.0,"forks":12.0,"language":"Python","license":null,"archived":0.0,"subcategory":"logic-reasoning-systems","last_pushed_at":"2017-10-14T08:06:06+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":null,"reverse_dep_count":0.0,"maintenance_score":0.0,"adoption_score":8.0,"maturity_score":8.0,"community_score":17.0,"quality_score":33.0,"quality_tier":"emerging","risk_flags":"['no_license', 'stale_6m', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-07T10:26:13.055448+00:00"}}