default

loading
details
attribute current value
name default
description no description
owning solver yicesQS-2022-07-02-optim-under10
contents
#!/bin/bash
PWD=`pwd`
#echo "PWD is $PWD"
#echo "LD_LIBRARY_PATH is $LD_LIBRARY_PATH"
export LD_LIBRARY_PATH="$PWD/lib:$LD_LIBRARY_PATH"
#ldd --version
./main.exe -under 10 $1

back to yicesQS-2022-07-02-optim-under10