Solver module

The Maat's constraint solver interface.

Reference
- Classes
- Functions

❱ Classes

class maat::solver::Solver: The generic solver interface. It should be sub-classed for implementations using specific backends (z3, yices, cvc4, ...)

❱ Functions

auto new_solver() -> std::unique_ptr<Solver>: Return a solver instance.

Tab / T to search, Esc to close

…

Search for symbols, directories, files, pages or modules. You can omit any prefix from the symbol or file path; adding a : or / suffix lists all members of given symbol or directory.

Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.

Sorry, nothing was found.

Solver module

Contents

❱ Classes

❱ Functions