عکس GhazaleZe
codes of my IUT coursePython
موضوع‌ها
۰
فورک‌ها
۱
ستاره‌ها
۵
تاریخ ایجاد
۲۵ آبان ۱۳۹۹
آخرین بروزرسانی
بیشتر از ۱ سال قبل
لایسنس
MIT License

Artificial-Intelligence

If you hava something to say join Discussion.

Local Search: ☺️

Requirement

  • python3.x
  • Although it's not necessary, I use Pycharm mostly for coding python.

    Solved Problems

    In local_seach file:
    The max sat problem is solved with Random Restart Hill Climbing.
    The 0-1 knapsack problem is sovled with Tabu Search.

    CSP: 😍

    Course Scheduling Problem

    Requirement

  • MiniZinc

    Explanation of the solution

    Problem:
    There is 5 course in 3 fix days of each week. Course Scheduling is like this:
  • course1 : 8-9AM
  • course2 : 8:30-9:30 AM
  • course3 : 9-10 AM
  • course4 : 9-10 AM
  • course5 : 9:30-10:30 AM

There are 3 teachers who can teach specific courses like:

  • Teacher A: courses 3,4
  • Teacher B: courses 2,3,4,5
  • Teacher C: all courses

Solution is in Courses.mzn

N-Queen with minizinc

Requirement

  • MiniZinc

    Explanation of the solution

  • This is a famous n-queen problem which n in the input and n * n board after placing n queen in the output.
  • soulution is in n_queen.mzn file.

Orthogonal Latin Square with Choco

Requirement

Solution is in OLS_CSP.java

Inference: working with Maple

  • Input: DNF
  • Goal: Transfer DNF to CNF and check satisfiability.
  • Soulution is ghazale.mw

Support

ghazalze@yahoo.com
Thanks @arman324 😅