Utool is the Swiss Army Knife of underspecification.
Utool is a tool that performs various tasks related to scope underspecification, a particular technique in computational semantics of natural language. It implements the most efficient known solver for underspecified descriptions, will convert between various underspecification formalisms, and does a variety of helper jobs.
Utool is implemented in Java, and is thus efficient and portable. It can be used as a command-line tool, via a GUI, or as a server. It is well documented and distributed under the GPL.
Utool was created within the CHORUS project at Saarland University (Computational Linguistics and Programming Systems Lab). The primary developers are Alexander Koller, Stefan Thater, and Michaela Regneri, with help by Marco Kuhlmann.