forgot this
This commit is contained in:
parent
2cf6a2a33d
commit
568bb27a66
@ -26,6 +26,8 @@ function run_solver
|
|||||||
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
||||||
elif [ $SOLVER = cbp ]; then
|
elif [ $SOLVER = cbp ]; then
|
||||||
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
||||||
|
elif [ $SOLVER = lbp ]; then
|
||||||
|
solver_flag=clpbn_horus:set_horus_flag\(schedule,$2\)
|
||||||
else
|
else
|
||||||
echo "unknow flag $2"
|
echo "unknow flag $2"
|
||||||
fi
|
fi
|
||||||
|
Reference in New Issue
Block a user