Commit 4bb34fe3 authored by leberre's avatar leberre

Added script to see live what's going on in Sat4j

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1164 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 8ffe3b7e
......@@ -211,7 +211,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<version>5.1</version>
</docletArtifact>
<additionalparam>
-operations -visibility
<!-- -operations -visibility -->
</additionalparam>
<useStandardDocletOptions>true</useStandardDocletOptions>
</configuration>
......
#!/bin/bash
echo set multiplot>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.0, 0.5>>$1.gnuplot
echo set title '"'Decision level at which the conflict occurs'"'>>$1.gnuplot
echo plot '"'$1-conflict-level.dat'"'>>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.0, 0.0>>$1.gnuplot
echo set title '"'Index of the decision variables'"'>>$1.gnuplot
echo plot '"'$1-decision-indexes.dat'"'>>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.5, 0.5>>$1.gnuplot
echo set title '"'Depth of the search when the conflict occurs'"'>>$1.gnuplot
echo plot '"'$1-conflict-depth.dat'"'>>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.5, 0.0>>$1.gnuplot
echo set title '"'Size of the clause learned \(after minimization if any\)'"'>>$1.gnuplot
#echo set logscale y>>$1.gnuplot
echo plot '"'$1-learned-clauses-size.dat'"'>>$1.gnuplot
echo set nologscale y>>$1.gnuplot
echo unset multiplot>>$1.gnuplot
echo "pause 2">>$1.gnuplot
echo reread>>$1.gnuplot
gnuplot $1.gnuplot
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment