ts-pkgx/dist/packages/github.com/Z3Prover/z3.d.ts

A library & CLI for managing packages

/**
 * **z3** - High-performance theorem prover
 *
 * @domain `github.com/Z3Prover/z3`
 * @programs `z3`
 * @version `4.15.3` (16 versions available)
 * @versions From newest version to oldest.
 *
 * @install `launchpad install z3`
 * @name `z3`
 * @dependencies `linux:gnu.org/gcc/libstdcxx@14` (includes OS-specific dependencies with `os:package` format)
 *
 * @example
 * ```typescript
 * import { pantry } from 'ts-pkgx'
 *
 * // Access the package
 * const pkg = pantry.z3
 * // Or access via domain
 * const samePkg = pantry.githubcomz3proverz3
 * console.log(pkg === samePkg) // true
 * console.log(pkg.name)        // "z3"
 * console.log(pkg.description) // "High-performance theorem prover"
 * console.log(pkg.programs)    // ["z3"]
 * console.log(pkg.versions[0]) // "4.15.3" (latest)
 * ```
 *
 * @see https://ts-pkgx.netlify.app/packages/github-com/Z3Prover/z3.md
 * @see https://ts-pkgx.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/pkgxdev/pantry/';
  /**
   * Command to install this package using launchpad.
   * @example launchpad install package-name
   */
  installCommand: 'launchpad install z3';
  /**
   * Executable programs provided by this package.
   * These can be run after installation.
   */
  programs: readonly ['z3'];
  companions: readonly [];
  /**
   * Required dependencies for this package.
   * These will be automatically installed.
   * OS-specific dependencies are prefixed with `os:` (e.g., `linux:freetype.org`).
   */
  dependencies: readonly ['linux:gnu.org/gcc/libstdcxx@14'];
  /**
   * Available versions from newest to oldest.
   * @see https://ts-pkgx.netlify.app/usage for installation instructions
   */
  versions: readonly ['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'];
  /**
   * Alternative names for this package.
   * You can use any of these names to access the package.
   */
  aliases: readonly [];
  pkgxInstallCommand: 'sh <(curl https://pkgx.sh) z3 -- $SHELL -i';
  launchpadInstallCommand: 'launchpad install z3'
};
export type Z3Package = typeof z3Package