default

loading
details
attribute current value
name default
description no description
owning solver veriT+raSAT+Redlog
contents
#!/usr/bin/env bash

reduce_path=./reduce
exec=./veriT

# Testing
#reduce_path=/home/hschurr/starExecLike/veriT+raSAT+Reduce/bin/reduce
#exec=/home/hschurr/starExecLike/veriT+raSAT+Reduce/bin/veriT

problem="$1"

$exec --reduce-path=$reduce_path --disable-banner --disable-print-success $problem 2>&1

back to veriT+raSAT+Redlog