Package tools.utils

package tools.utils
  • Classes
    Class
    Description
    InputInterpreter
    Can convert BRunner inputs to the format desired by a specific reasoner.