na.sh

loading
details
attribute current value
name na.sh
description no description
owning solver MathSAT-na
contents
#!/bin/sh

sed 's:pi:pipi:g' $1 | ./mathsat

back to MathSAT-na

Compute nodes for all.q are being upgraded. Use new.q for now.More Information