❤Nagging Penguin Matriarchs

    npm

    Sign UpSign In

    2 packages found

    tptp

    Description

    Connecting to the TPTP Problem Library

    Keywords

    Publisher

    avatar
    mafu
    published 0.6.1 • a year ago
    M
    Q
    P

    tptp-parser

    Description

    Parser for the TPTP file format

    Keywords

    Publisher

    avatar
    russellw
    published 2.6.2 • 4 years ago
    M
    Q
    P