Fifth Answer Set Programming Competition (ASPCOMP 2014): ToolsUtilities (last edited 2012-05-07 18:13:40 by e208-236)