SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::ssh Namespace Reference

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...