default.sh

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

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

back to MathSAT