Murxla
  • Installation
  • User Guide
  • How to Integrate a Solver
  • Advanced Documentation
    • Solver Wrapper Interface
      • Solver Wrapper Interface: AbsSort
      • Solver Wrapper Interface: AbsTerm
      • Solver Wrapper Interface: Solver
    • 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
  • Solver Wrapper Interface

Solver Wrapper Interface

The interface to be implemented by solver wrappers (see Solver Wrappers), as defined at src/solver/solver.hpp.

  • Solver Wrapper Interface: AbsSort
    • AbsSort
    • hash
    • ParamSort
    • UnresolvedSort
  • Solver Wrapper Interface: AbsTerm
    • AbsTerm
    • hash
  • Solver Wrapper Interface: Solver
    • Solver
Previous Next

© Copyright 2022, the authors of Murxla.

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