AI
- a_star - An implementation of the A* search algorithm
- connect4 - A simple Connect 4 AI
- dpll - A SAT solver for propositional logic
- mdp - Computes an optimal Markov Decision Process policy using value iteration
- pos_hmm - predicts the most likely Part of Speech (PoS) tag sequence for a sentence using HMM and conditional probabilities derived from the Brown corpus.