{"id":33178929,"url":"https://ahorn.github.io/smt-kit/","last_synced_at":"2025-11-20T21:02:01.553Z","repository":null,"keywords":[],"created_at":"2025-11-16T03:00:36.653Z","updated_at":"2025-11-20T21:01:56.545Z","avatar_url":null,"language":null,"funding_links":[],"categories":["SMT-LIB ##"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/ahorn.github.io%2Fsmt-kit%2F","html_url":"https://awesome.ecosyste.ms/projects/ahorn.github.io%2Fsmt-kit%2F","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/ahorn.github.io%2Fsmt-kit%2F/lists"}