option import_as_theory

Default: false
When enabled, imported data will be interpreted as an equational theory, rather than an entire model. This allows the importation of partial data sets, at the expense of additional theorem proving.

Keyword:

import_csv
import_jdbc

Appears in: