1 search result for "author:"Radek Micek <radek.micek@gmail.com>""

Showing 1 - 1
  1. Library for reading and writing FOF and CNF formulas in TPTP format
    0.3.2
    MIT
    Used by 0 other packages
    03 Oct 2015