Software

• TreeSearch
  • User Guide
  • GitHub Repository
• EarSearch
  • User Guide
  • GitHub Repository
• PDFtoBook (Download)
  • Rearrange the pages of a PDF to allow printing into a booklet.
  • Requires PDFTK.
  • Use: pdftobook file.pdf pages will output to file-book.pdf.
  • To make a book, print file-book.pdf with 2-page layout, double-sided, with short-edge binding.
  • Separate pages into leaves and fold in half.
• Pacman (Download)
  • A multi-agent environment of the classic arcade game.
  • Built for class competitions!
  • To create an agent and compete with others, follow three steps:
    1. Extend the AbstractIntelligentAgent class, implementing getAction method.
    2. Modify the test/classes.txt file to include your new class.
    3. Run Pacman and select the combination of Pacman/Ghost agents to compete.
  • Read the full technical documentation.
• VisualSATSolver (Download)
  • A graphical interpretation of the search tree of a SAT problem.
  • Read the full technical documentation.