{"id":1264064,"url":"https://hackage.haskell.org/package/smt-lib","last_synced_at":"2025-10-06T00:31:14.304Z","repository":null,"keywords":[],"created_at":"2024-01-15T06:00:45.612Z","updated_at":"2024-09-30T00:31:15.236Z","avatar_url":null,"language":null,"funding_links":[],"categories":["SMT-LIB ##"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/hackage.haskell.org%2Fpackage%2Fsmt-lib","html_url":"https://awesome.ecosyste.ms/projects/hackage.haskell.org%2Fpackage%2Fsmt-lib","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/hackage.haskell.org%2Fpackage%2Fsmt-lib/lists"}