• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• expr_options.toml

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.src.options.expr_options.toml Maven / Gradle / Ivy

id     = "EXPR"
name   = "Expression"

[[option]]
  name       = "typeChecking"
  category   = "expert"
  long       = "type-checking"
  type       = "bool"
  default    = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
  help       = "type check expressions"

[[option]]
  name       = "wellFormedChecking"
  category   = "expert"
  long       = "wf-checking"
  type       = "bool"
  default    = "true"
  help       = "check that terms passed to API methods are well formed (default false for text interface)"