SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Data Structures | |
struct | Node |
Specification of a compuation node for the SSH backend. More... | |
class | SSHConnection |
A wrapper class that manages a single SSH connection as specified in a Node object (with all its channels). More... | |