default

loading
details
attribute current value
name default
description no description
owning solver SPASS-SATT
contents
#!/bin/bash

./SPASS-SATT $1

back to SPASS-SATT