segsyntacdabc

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

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

back to ltlsynt