Swiss Army Knife of Underspecification / News: Recent posts

We have just released version 2.0 of Utool, the Swiss Army Knife of Underspecification. The most visible changes are support for more codecs, improved portability, and improved integration with Java. There have also been a number of improvements "under the hood", and a number of bug fixes.

The source distribution now builds two targets: libdomgraph, a library which contains all the functionality and can be linked with your programs, and utool, a command-line frontend to libdomgraph. Utool (the executable) is now distributed under the GPL; libdomgraph continues to be licenced under the LGPL.... read more

Release 1.1 of utool adds the following new functionality:

- more codecs: dominance graphs can now be output in the XML-based GXL format, and Hole Semantics can be read and written;

- solvability checking: the new "solvable" command will check whether a graph is solvable, and compute the number of solutions, without actually enumerating the solutions.

Also, the new release contains a number of bug fixes.