claripy.frontend_mixins.smtlib_script_dumper_mixin.SMTLibScriptDumperMixin

class documentation

class SMTLibScriptDumperMixin: (source)

Undocumented

Method get_smtlib_script_satisfiability Return an smt-lib script that check the satisfiability of the current constraints

def get_smtlib_script_satisfiability(self, extra_constraints=(), extra_variables=()): (source) ¶

Return an smt-lib script that check the satisfiability of the current constraints :return string: smt-lib script