Murxla
  • Installation
  • User Guide
  • How to Integrate a Solver
  • Advanced Documentation
    • Solver Wrapper Interface
    • Sort
    • Term
    • Sort Kind
    • Operators
    • Pre-Defined Operator Kinds
    • Pre-Defined Special Value Kinds
    • Theories
    • The Finite State Machine (FSM)
    • Solver Manager
    • Solver Options
    • Exceptions
Murxla
  • »
  • Advanced Documentation

Advanced Documentation

  • Solver Wrapper Interface
    • Solver Wrapper Interface: AbsSort
    • Solver Wrapper Interface: AbsTerm
    • Solver Wrapper Interface: Solver
  • Sort
  • Term
  • Sort Kind
  • Operators
    • Configuration Macros
    • Operator and Operator Kind
    • Operator Management
  • Pre-Defined Operator Kinds
  • Pre-Defined Special Value Kinds
  • Theories
  • The Finite State Machine (FSM)
    • FSM: Actions
    • FSM: States
    • FSM
  • Solver Manager
  • Solver Options
  • Exceptions
Previous Next

© Copyright 2022, the authors of Murxla.

Built with Sphinx using a theme provided by Read the Docs.