export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:.

java -Xmx500M -server -cp lib/trove.jar:classes/ queso.constraints.sum_constraint_test3
