• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for tptp-0.1.1.0 candidate source tarball

tptp-0.1.1.0/test-data/tptp/tff/

• COM110_5.p
• DAT001=0.ax
• DAT002=0.ax
• DAT002=1.ax
• DAT003=0.ax
• DAT004=0.ax
• DAT005=0.ax
• DAT006=0.ax
• LCL842_5.p
• NUN015_5.p
• PUZ139_1.p
• SYN000_0.ax
• SYN000_1.p