{"id":19244443,"url":"https://github.com/ghazaleze/artificial-intelligence","last_synced_at":"2025-08-02T09:05:40.534Z","repository":{"id":109419631,"uuid":"313056902","full_name":"GhazaleZe/Artificial-Intelligence","owner":"GhazaleZe","description":"codes of my IUT course","archived":false,"fork":false,"pushed_at":"2021-02-28T06:22:28.000Z","size":66,"stargazers_count":7,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-07-14T20:08:43.890Z","etag":null,"topics":["0-1-knapsack-problem","choco-solver","constraint-satisfaction-problem","csp-solver","game-theory","hill-climbing-search","max-sat","metaheuristics","minizinc","random-restart","tabu-search"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/GhazaleZe.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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":"2020-11-15T15:06:17.000Z","updated_at":"2024-10-03T16:38:19.000Z","dependencies_parsed_at":"2023-04-30T06:05:42.031Z","dependency_job_id":null,"html_url":"https://github.com/GhazaleZe/Artificial-Intelligence","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/GhazaleZe/Artificial-Intelligence","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GhazaleZe%2FArtificial-Intelligence","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GhazaleZe%2FArtificial-Intelligence/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GhazaleZe%2FArtificial-Intelligence/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GhazaleZe%2FArtificial-Intelligence/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/GhazaleZe","download_url":"https://codeload.github.com/GhazaleZe/Artificial-Intelligence/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GhazaleZe%2FArtificial-Intelligence/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":268359928,"owners_count":24238124,"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","status":"online","status_checked_at":"2025-08-02T02:00:12.353Z","response_time":74,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["0-1-knapsack-problem","choco-solver","constraint-satisfaction-problem","csp-solver","game-theory","hill-climbing-search","max-sat","metaheuristics","minizinc","random-restart","tabu-search"],"created_at":"2024-11-09T17:23:32.856Z","updated_at":"2025-08-02T09:05:40.478Z","avatar_url":"https://github.com/GhazaleZe.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Artificial-Intelligence  \nIf you hava something to say join [Discussion](https://github.com/GhazaleZe/Artificial-Intelligence/discussions).  \n## [Local Search](https://github.com/GhazaleZe/Artificial-Intelligence/tree/main/local_search): :relaxed:  \n### Requirement  \n- python3.x\n- Although it's not necessary,  I use Pycharm mostly for coding python.  \n### Solved Problems  \nIn local_seach file:  \nThe **max sat problem** is solved with **Random Restart Hill Climbing**.  \nThe **0-1 knapsack problem** is sovled with **Tabu Search**.  \n## [CSP](https://github.com/GhazaleZe/Artificial-Intelligence/tree/main/CSP): :heart_eyes:\n### Course Scheduling Problem  \n#### Requirement  \n- [MiniZinc](https://www.minizinc.org/)  \n#### Explanation of the solution  \nProblem:  \nThere is 5 course in 3 fix days of each week. Course Scheduling is like this:  \n- course1 : 8-9AM  \n- course2 : 8:30-9:30 AM  \n- course3 : 9-10 AM\n- course4 : 9-10 AM  \n- course5 : 9:30-10:30 AM  \n\nThere are 3 teachers who can teach specific courses like:\n- Teacher A: courses 3,4  \n- Teacher B: courses 2,3,4,5  \n- Teacher C: all courses  \n   \n**Solution** is in **Courses.mzn**  \n\n### N-Queen with minizinc  \n#### Requirement  \n- [MiniZinc](https://www.minizinc.org/)  \n#### Explanation of the solution  \n- This is a famous n-queen problem which n in the input and n * n board after placing n queen in the output.  \n- soulution is in **n_queen.mzn** file.  \n\n### Orthogonal Latin Square with Choco  \n#### Requirement  \n- I used [IntelliJ IDEA](https://www.jetbrains.com/idea/download/#section=windows) for java programming.  \n- You need [choco solver](https://github.com/chocoteam/choco-solver), I downloaded [choco-parsers-4.10.6-jar-with-dependencies.jar](https://github.com/chocoteam/choco-solver/releases/download/4.10.6/choco-parsers-4.10.6-jar-with-dependencies.jar) file and add it to my IntelliJ IDEA  project.  \n#### Explanation of the solution  \n**Solution** is in **OLS_CSP.java**  \n## [Inference: working with Maple](https://github.com/GhazaleZe/Artificial-Intelligence/blob/main/ghazale.mw)\n- Input: DNF\n- Goal: Transfer DNF to CNF and check satisfiability. \n- Soulution is ghazale.mw  \n\n## Support\nghazalze@yahoo.com    \nThanks [@arman324](https://github.com/arman324) :sweat_smile:\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fghazaleze%2Fartificial-intelligence","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fghazaleze%2Fartificial-intelligence","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fghazaleze%2Fartificial-intelligence/lists"}