{"package":"abstractnn","ecosystem":"pypi","exists":true,"latest_version":"0.1.5","repository":"https://github.com/flyworthyai/abstractNN","license":"MIT","description":"Formal verification of neural networks using abstract interpretation and affine arithmetic","downloads_weekly":51,"deprecated":false,"health":{"score":43},"_cache":"db_only_bot","_partial":true,"_response_ms":0,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"review"}}