segsyntlarabc

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

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

back to ltlsynt