Hello, Apparently the daVinci graph drawing tool is renamed to uDraw(Graph) http://www.informatik.uni-bremen.de/uDrawGraph/en/index.html Fortunately there is no API change, so ECLiPSe can perfectly well work with it. The thing I did was: 1) unpack uDrawGraph somewhere, for me: /home/tias/local/uDrawGraph-3.1 2) add DAVINCIHOME="/home/tias/local/uDrawGraph-3.1"; export DAVINCIHOME or something similar to your .bashrc 3) go to your /home/tias/local/uDrawGraph-3.1 dir, and do: ln -s bin/uDrawGraph daVinci On linux systems, this works perfectly well. Unfortunately, the graph drawing only works for the first solution. This problem always occurs, independant of using uDrawGraph or the old daVinci. Reproducing the bug: 1) download the queens example: http://eclipse.crosscoreop.com/examples/queens_simple.ecl.txt 2) change 'labeling(Board).' with 'search(Board, 0, input_order, indomain, complete, [node(daVinci)]).' 3) run queens_lists(6,B). This is what you will get: <<<<<<<<< [eclipse 1]: queens_lists(6,B). lists.eco loaded traceable 0 bytes in 0.00 seconds daVinci.eco loaded traceable 0 bytes in 0.01 seconds B = [2, 4, 6, 1, 3, 5] Yes (0.01s cpu, solution 1, maybe more) ? ; %%% draws the first part of the search tree here illegal stream specification in printf(daVinciAttribute, ',', []) Abort >>>>>>>>> What I would have hoped to happen is that when generating the next answer, the graph would get a new branch in the nodes at which the backtracking happens. The error happens on line 385 of daVinci.ecl: da_comma(Stream):- printf(Stream,',',[]). I have tried to fix this, but I do not find a way. Is it possible to make this graph drawing work over multiple solutions ? It is only usefull to me if this would work. Many thanks in advance, TiasReceived on Wed Dec 05 2007 - 16:34:17 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET