z3-src 503.2.0

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation
/*++
Copyright (c) 2026 Romain Soulat

Module Name:

    ff_certificate_cmds.h

Abstract:

    Registration entry point for the ff-certify command.

Author:

    Romain Soulat

--*/
#pragma once
class cmd_context;
void install_ff_certificate_cmds(cmd_context &ctx);