Utool

Utool yra Šveicarų armijos peilis underspecification.
Utool yra įrankis, kuris atlieka įvairias užduotis, susijusias su apimties underspecification, tam tikros techniką skaičiavimo semantikos gamtos kalba. Ji įgyvendina efektyviausią žinomą Solver už underspecified aprašymus, bus konvertuoti tarp įvairių underspecification Formalisms ir daro pagalbininkų darbo įvairovė.
Utool įgyvendinama Java, ir todėl efektyvus ir nešiojamas. Jis gali būti naudojamas kaip komandų eilutės įrankis, per GUI, arba kaip serveryje. Jis yra gerai dokumentuota ir platinamas pagal GPL.
Utool buvo sukurtas per Chorus projekte Saro universiteto (Kompiuterinės lingvistikos ir programavimo sistemų Lab). . Pagrindiniai kūrėjai Aleksandras Koller Stefanas Thater ir Michaela Regneri, padedant Marco Kuhlmann

Reikalavimai

• "Java" 5.0 arba naujesnė;