❤Notorious Pug Mafia

npm

log inorsign up

2 packages found

M

Q

P

tptp-parser

Description

Parser for the TPTP file format

Keywords

tptp

Publisher

published 2.6.2 • 2 years ago

M

Q

P

tptp

Description

Connecting to the TPTP Problem Library

Keywords

Publisher

published 0.6.0 • 2 months ago

powered by npms.io 🚀