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