wisp - Revision 12680: /tags/lurch/1.1/ltl2ba_source

• ..
• LICENSE
• Makefile
• README
• alternating.c
• buchi.c
• cache.c
• generalized.c
• lex.c
• ltl2ba.h
• main.c
• mem.c
• parse.c
• rewrt.c
• set.c
• trans.c