default.sh

loading
details
attribute current value
name default.sh
description no description
owning solver irankfinder 2018
contents
#!/bin/sh


SOL=$(../rankfinder/rankfinder -f "$1" -t qnlrf_3 -v 0 -sccd 4 -dt iffail -i basic -pe 0 -pt 1 2>&1)


case "$SOL" in
  *"FOUND:"*) echo "YES";;
  *) echo "MAYBE";;
esac
echo "$SOL"

back to irankfinder 2018