search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

Check if ltlsynt is available on path in tslsynth #57

Closed leoqiao18 closed 12 months ago

leoqiao18 commented 1 year ago

Check if ltlsynt is available on path in tslsynth

leoqiao18 commented 12 months ago

Implemented in #60