/**
 * **z3** - High-performance theorem prover
 *
 * @domain `github.com/Z3Prover/z3`
 * @programs `z3`
 * @version `4.16.0` (22 versions available)
 * @versions From newest version to oldest.
 *
 * @install `pantry install github.com/Z3Prover/z3`
 * @dependencies `linux:gnu.org/gcc/libstdcxx@14` (includes OS-specific dependencies with `os:package` format)
 * @buildDependencies `cmake.org@^3`, `python.org@>=3<3.12`, `linux:gnu.org/gcc@14` (includes OS-specific dependencies with `os:package` format) - required only when building from source
 *
 * @example
 * ```typescript
 * import { pantry } from 'ts-pantry'
 *
 * const pkg = pantry.githubcomz3proverz3
 * console.log(pkg.name)        // "z3"
 * console.log(pkg.description) // "High-performance theorem prover"
 * console.log(pkg.programs)    // ["z3"]
 * console.log(pkg.versions[0]) // "4.16.0" (latest)
 * ```
 *
 * @see https://ts-pantry.netlify.app/packages/github-com/Z3Prover/z3.md
 * @see https://ts-pantry.netlify.app/usage
 */
export declare const z3Package: {
  /**
  * The display name of this package.
  */
  name: 'z3';
  /**
  * The canonical domain name for this package.
  */
  domain: 'github.com/Z3Prover/z3';
  /**
  * Brief description of what this package does.
  */
  description: 'High-performance theorem prover';
  packageYmlUrl: 'https://github.com/pkgxdev/pantry/tree/main/projects/github.com/Z3Prover/z3/package.yml';
  homepageUrl: '';
  githubUrl: 'https://github.com/Z3Prover/z3';
  /**
  * Command to install this package using pantry.
  * @example pantry install package-name
  */
  installCommand: 'pantry install github.com/Z3Prover/z3';
  pantryInstallCommand: 'pantry install github.com/Z3Prover/z3';
  /**
  * Executable programs provided by this package.
  * These can be run after installation.
  */
  programs: readonly ['z3'];
  companions: readonly [];
  /**
  * Runtime dependencies for this package.
  * These are required when running the package.
  * OS-specific dependencies are prefixed with `os:` (e.g., `linux:freetype.org`).
  */
  dependencies: readonly ['linux:gnu.org/gcc/libstdcxx@14'];
  /**
  * Build dependencies for this package.
  * These are only required when building the package from source.
  * OS-specific dependencies are prefixed with `os:` (e.g., `linux:gnu.org/gcc`).
  */
  buildDependencies: readonly ['cmake.org@^3', 'python.org@>=3<3.12', 'linux:gnu.org/gcc@14'];
  /**
  * Available versions from newest to oldest.
  * @see https://ts-pantry.netlify.app/usage for installation instructions
  */
  versions: readonly ['4.16.0', '4.15.8', '4.15.7', '4.15.6', '4.15.5', '4.15.4', '4.15.3', '4.15.2', '4.15.1', '4.15.0', '4.14.1', '4.14.0', '4.13.4', '4.13.3', '4.13.2', '4.13.0', '4.12.6', '4.12.5', '4.12.4', '4.12.3', '4.12.2', '4.12.1'];
  aliases: readonly []
};
export type Z3Package = typeof z3Package;
