{"id":22156291,"url":"https://github.com/gilbertocunha/computational-logic","last_synced_at":"2025-07-26T08:31:21.674Z","repository":{"id":111972741,"uuid":"306120616","full_name":"GilbertoCunha/Computational-Logic","owner":"GilbertoCunha","description":"Trabalhos Práticos da cadeira de Lógica Computacional","archived":false,"fork":false,"pushed_at":"2021-01-17T20:35:09.000Z","size":1022,"stargazers_count":2,"open_issues_count":0,"forks_count":2,"subscribers_count":1,"default_branch":"master","last_synced_at":"2023-03-05T12:02:49.969Z","etag":null,"topics":["smt-solver","z3py"],"latest_commit_sha":null,"homepage":"","language":"Jupyter Notebook","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/GilbertoCunha.png","metadata":{},"created_at":"2020-10-21T18:59:38.000Z","updated_at":"2022-10-07T16:46:24.000Z","dependencies_parsed_at":"2023-07-30T14:30:32.228Z","dependency_job_id":null,"html_url":"https://github.com/GilbertoCunha/Computational-Logic","commit_stats":null,"previous_names":[],"tags_count":null,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GilbertoCunha%2FComputational-Logic","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GilbertoCunha%2FComputational-Logic/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GilbertoCunha%2FComputational-Logic/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GilbertoCunha%2FComputational-Logic/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/GilbertoCunha","download_url":"https://codeload.github.com/GilbertoCunha/Computational-Logic/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":227661476,"owners_count":17800508,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["smt-solver","z3py"],"created_at":"2024-12-02T02:40:06.205Z","updated_at":"2024-12-02T02:40:06.916Z","avatar_url":"https://github.com/GilbertoCunha.png","language":"Jupyter Notebook","funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgilbertocunha%2Fcomputational-logic","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgilbertocunha%2Fcomputational-logic","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgilbertocunha%2Fcomputational-logic/lists"}