segsyntdsabc

loading
details
attribute current value
name segsyntdsabc
description no description
owning solver ltlsynt
contents 
#!/bin/bash

./call_ltlsynt_abc $1 $2 "--algo=ds"

back to ltlsynt