# Install picat

Simple, and yet powerful, logic-based multi-paradigm programming language. Version 3.9.8 via Homebrew; verified 2026-05-21.

## Install

```sh
sudo av install brew:picat
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install picat
```

  Evidence: local Homebrew formula metadata

### Linux

- apk (92%):

```sh
sudo apk add picat
```

  Evidence: Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- Nix (92%):

```sh
nix profile install nixpkgs#picat
```

  Evidence: nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Package Facts

- **Package key:** brew:picat
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/picat>
- **Version:** 3.9.8
- **Source summary:** Simple, and yet powerful, logic-based multi-paradigm programming language
- **Homepage:** <https://picat-lang.org/>
- **Upstream docs:** <https://picat-lang.org/download/picat_guide.pdf>
- **License:** MPL-2.0
- **Source archive:** <https://picat-lang.org/download/picat398_src.tar.gz>
- **Last updated:** 2026-05-21T12:42:42Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- picat (cli)
- picat (alias)

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 3.9.8
- Package-manager updated: 2026-05-21
- Local data status: ok
- Upstream repository: https://picat-lang.org/
- info: Release/tag comparison is only available for GitHub repositories.

## セキュリティノート

generalized runtime or code generation signal.

- **Geiger risk:** yellow / medium
- generalized runtime or code generation signal

## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** picat
- **Version Scheme:** 0
- **Revision:** 0
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable

## Other Package-Manager Records

- Nix - picat: normalized package name match | nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- apk - picat - 3.9.6-r0: normalized package name match | Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Logic-based multi-paradigm programming language | https://picat-lang.org/
- apk - picat-doc - 3.9.6-r0: normalized package name match | Alpine Linux edge package indexes: picat-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Logic-based multi-paradigm programming language (documentation) | https://picat-lang.org/


## Related Links

- [Secret-risk packages](https://www.automicvault.com/ja/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://www.automicvault.com/ja/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Language runtime packages](https://www.automicvault.com/ja/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://www.automicvault.com/ja/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [ruby](https://www.automicvault.com/ja/pkg/brew/ruby/) - Shares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
- [lua](https://www.automicvault.com/ja/pkg/brew/lua/) - Shares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
- [gnu-apl](https://www.automicvault.com/ja/pkg/brew/gnu-apl/) - Shares av.db curated category or tags: cli, interpreter, language-runtime, programming-language, scripting.
- [php](https://www.automicvault.com/ja/pkg/brew/php/) - Shares av.db curated category or tags: cli, language-runtime, programming-language, scripting.
- [perl](https://www.automicvault.com/ja/pkg/brew/perl/) - Shares av.db curated category or tags: cli, language-runtime, programming-language, scripting.
- [groovy](https://www.automicvault.com/ja/pkg/brew/groovy/) - Shares av.db curated category or tags: cli, language-runtime, programming-language, scripting.
- [luau](https://www.automicvault.com/ja/pkg/brew/luau/) - Shares av.db curated category or tags: cli, language-runtime, programming-language, scripting.
- [janet](https://www.automicvault.com/ja/pkg/brew/janet/) - Shares av.db curated category or tags: cli, language-runtime, programming-language, scripting.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph