Skip to content

Study aide for converting between LTL and English to advocate better understanding of LTL

Notifications You must be signed in to change notification settings

andrewhead/LTLTrans

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

60 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

To download nltk dependencies, run this from Python:

nltk.download('maxent_treebank_pos_tagger', download_dir='/usr/local/share/nltk_data')
nltk.download('punkt', download_dir='/usr/local/share/nltk_data')
nltk.download('wordnet', download_dir='/usr/local/share/nltk_data')

About

Study aide for converting between LTL and English to advocate better understanding of LTL

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published