{"id":20652470,"url":"https://github.com/thesofakillers/krr-labs","last_synced_at":"2026-04-20T00:37:27.630Z","repository":{"id":70961389,"uuid":"466570897","full_name":"thesofakillers/krr-labs","owner":"thesofakillers","description":"Assignments for KRR course","archived":false,"fork":false,"pushed_at":"2022-10-16T16:58:51.000Z","size":747,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-01-17T10:43:42.813Z","etag":null,"topics":[],"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/thesofakillers.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-03-05T21:23:35.000Z","updated_at":"2022-10-16T17:01:37.000Z","dependencies_parsed_at":"2024-02-12T20:30:52.875Z","dependency_job_id":null,"html_url":"https://github.com/thesofakillers/krr-labs","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thesofakillers%2Fkrr-labs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thesofakillers%2Fkrr-labs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thesofakillers%2Fkrr-labs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thesofakillers%2Fkrr-labs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/thesofakillers","download_url":"https://codeload.github.com/thesofakillers/krr-labs/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242752243,"owners_count":20179474,"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":[],"created_at":"2024-11-16T17:35:12.329Z","updated_at":"2026-04-20T00:37:27.579Z","avatar_url":"https://github.com/thesofakillers.png","language":"Jupyter Notebook","funding_links":[],"categories":[],"sub_categories":[],"readme":"# krr-labs\n\nAssignments for the \"Knowledge Representation Reasoning\" course for my MSc in AI.\nI am omitting my University name for searchability reasons. My MSc university can be found on my LinkedIn or CV.\n\n## Assignments:\n\nMore details for each assignment can be found in the respective folder.\nIn general, the following was covered\n\n1. Assignment 1\n    - Propositional Logic and Conjunctive Normal Form\n    - SAT solvers\n    - Answer Set Programming\n2. Assignment 2\n    - Solving Sudoku variants using SAT and Answer Set Programming\n3. Assignment 3\n    - Using Answer Set Programming for solving a multi-truck delivery planning problem\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fthesofakillers%2Fkrr-labs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fthesofakillers%2Fkrr-labs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fthesofakillers%2Fkrr-labs/lists"}