Optimization Software
    d:todo
    • reference
      • name
        • TPTP Problem Library
      • link
        • http://www.cs.miami.edu/~tptp/
      • tag
        • open source
      • tag
        • automated theorem proving
      • tag
        • ATP
    d:todo
    • reference
      • name
        • Weka
      • link
        • https://www.cs.waikato.ac.nz/ml/weka/
      • tag
        • open source
      • tag
        • data mining