Homework 02: CSPs and Symbolic Reasoning

Task 1: Notebook¶

Run the following notebook and answer the included questions using the method of your choosing:

For your convenience the notebook is displayed below as HTML but you will likely find it easier to download the raw notebook file given above.

To submit your answers, you will need add your homework02.ipynb file in the homework02 folder of your assignments repository:

Answer the questions in your notebook file using the method of your choice and once you are finished, follow the instructions below to submit your notebook.

1. For this class, you must use a separate [git] branch for each assignment. This means that the work for each reading and challenge must be done in a separate branch. To create and checkout a new branch, you can do the following:

   $ git checkout main         # Make sure we are in master branch
   $ git pull --rebase           # Make sure we are up-to-date with github repository
   
   $ git checkout -b homework02   # Create homework00 branch and check it out
   

   Once you do the above, you should see the following output for the git-branch command:

   $ git branch
     main
     homework00
     homework01
   * homework02
   

   The * indicates that we are currently on the homework02 branch.

2. Once you have your notebook filled out, you need to add, commit the file, and push your commits to GitHub:

   $ git add homework02.ipynb                # Add answers.json to staging area
   $ git commit -m "Homework 02: Done"    # Commit work
   
   $ git push -u origin homework02        # Push branch to GitHub
   

   Note: You may edit and commit changes to your branch as many times as you wish. Just make sure all of your work goes in the appropriate branch and then perform a git push when you are done.

3. When you are ready for your final submission, you need to create a pull request via the GitHub interface:

   • First, go to your repository's Branches page and then press the New pull request button for the appropriate branch:

     

   • Next, edit the pull request title to "Homework 01", write a comment if necessary and then press the "Create pull request" button.

     

   • Finally, assign the pull request to the teaching assistant assigned to you for the given week.

     

Once you have made the pull request, the instructor or teaching assistant can verify your work and provide feedback via the discussion form inside the pull request. If necessary, you can update your submission by simply committing and pushing to the appropriate branch; the pull request will automatically be updated to match your latest work.

When all work is graded, the grader will merge your branch and close the pull request.