• Top
  • Documentation
  • Books
  • Boolean-reasoning
    • Ipasir
    • Aignet
    • Aig
    • Satlink
      • Sat-solver-options
      • Config-p
      • Logical-story
      • Dimacs
        • Dimacs-export
        • Dimacs-interp
          • Satlink-handle-line
          • Satlink-parse-variable-line
          • Satlink-skip-ws
          • Satlink-parse-output
          • Satlink-handle-lines
      • 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

• Dimacs

Dimacs-interp

How we interpret the DIMACS formatted output from the SAT solver.

Subtopics

Satlink-handle-line

Satlink-parse-variable-line

Satlink-skip-ws

Satlink-parse-output

Satlink-handle-lines