logo
Theta Wiki
graph-solver
Initializing search
    ftsrg/theta
    ftsrg/theta
    • Theta
    • About Theta
        • cfa
        • cfa-analysis
        • cfa-cli
        • analysis
          • AGENTS.md
          • USING.md
            • AGENTS.md
            • asg
            • loopchecker
            • doc
        • common
          • AGENTS.md
          • USING.md
        • core
          • AGENTS.md
          • USING.md
            • AGENTS.md
          • AGENTS.md
          • USING.md
        • ltl
        • ltl-cli
        • btor2-frontend
        • c-frontend
        • chc-frontend
        • llvm
        • graph-solver
        • solver
          • AGENTS.md
          • USING.md
        • solver-eldarica
          • AGENTS.md
        • solver-javasmt
          • AGENTS.md
        • solver-smtlib
          • AGENTS.md
        • solver-smtlib-cli
        • solver-z3
          • AGENTS.md
        • solver-z3-legacy
          • AGENTS.md
        • sts
        • sts-analysis
        • sts-cli
        • c2xcfa
        • cat
        • litmus2xcfa
        • xcfa
          • passes
        • xcfa-cli
          • canaries
        • xsts
        • xsts-analysis
        • xsts-cli
        • xta
        • xta-analysis
        • xta-cli
      • Build
      • CEGAR algorithms
      • CI
      • Coding conventions
      • Development
      • LBE
      • Portfolio
      • Tools
    • AGENTS.md
    • Contributing to this wiki

    graph-solver

    README.md — what this module is

    Mirrored from subprojects/solver/graph-solver/README.md — edit it there, not here.

    TODO

    Made with Material for MkDocs