• Top
  • Documentation
  • Books
  • Boolean-reasoning
    • Ipasir
    • Aignet
    • Aig
    • Satlink
      • Sat-solver-options
      • Config-p
        • Config
        • Make-config
        • Change-config
        • Honsed-config
        • Make-honsed-config
        • *default-config*
        • Config->verbose
        • Config->timing
        • Config->remove-temps
        • Config->mintime
        • Config->lrat-check
        • Config->cmdline
      • Logical-story
      • Dimacs
      • Gather-benchmarks
      • Cnf
      • Satlink-extra-hook
      • Sat
    • Truth
    • Ubdds
    • Bdd
    • Faig
    • Bed
    • 4v
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Config-p

Config->cmdline

Access the cmdline field of a config-p structure.