DOMjudge Manual

Contents:

• Overview
  • Features
  • Requirements and contest planning
  • Copyright and licencing
  • About the name and logo
  • Contact
• Installation of the DOMserver
  • Requirements
  • Installation
  • Database configuration
  • Web server configuration
  • Log in to DOMjudge
• Installation of the judgehosts
  • Requirements
  • Building and installing
  • Sudo permissions
  • Creating a chroot environment
  • Linux Control Groups
  • REST API credentials
  • Starting the judgedaemon
• Installation of the team workstations
  • Command line submit client
  • Rebuilding team documentation
• Upgrading
  • Upgrading from pre-7.0 versions
• Configuring the system
  • Setting up users and teams
  • Adding a contest
  • Setting up problems
  • Checking your configuration
  • Testing jury solutions
• Advanced configuration topics
  • Adding graphics
  • Authentication and registration
  • Executables
  • Programming languages
  • Special run and compare programs
  • Compare programs
  • Run programs
  • Printing
  • Multiple judgedaemons per machine
  • Multi-site contests
• Running the contest
  • Team status
  • Clarification Requests
  • Balloon handling
  • Static scoreboard
• Judging topics
  • Flow of a submission
  • Rejudging
  • Ignoring a submission
  • Enforcement of time limits
  • Judging consistency
  • Lazy judging and results priority
  • Judgehost restrictions
  • Solutions to common issues
• Development
  • API
  • Bootstrapping from Git repository sources
  • Maintainer mode installation
  • Makefile structure

Appendices

• Appendix: Quick installation checklist
  • DOMserver
  • Judgehosts
  • Checking if it works
• Appendix: Problem format specification