installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install picat

local Homebrew formula metadata

Linux

Alpine Linux apkvérifié · 92%

sudo apk add picat

Alpine Linux edge package indexes · picat · Source: dl-cdn.alpinelinux.org

Nixvérifié · 92%

nix profile install nixpkgs#picat

nixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · Source: api.github.com

aperçu

Résumé du paquet

Simple, and yet powerful, logic-based multi-paradigm programming language

Liens du projet

Commandes et alias

picat

historique

Historique du projet et usages

Picat is a logic-based, multi-paradigm programming language designed for general programming, constraint solving, planning, and scripting. It combines rule-based pattern matching with familiar imperative constructs and specialized search facilities.

Historique du projet

Neng-Fa Zhou and collaborators designed Picat as a scalable logic-based, multi-paradigm language. The initial design was published in December 2012, and the first alpha release appeared in May 2013.

The implementation is based on the B-Prolog engine. Over time the language added and refined constraint, planning, tabling, scripting, and Prolog-compatible facilities; version 3.0 added Prolog-style Horn clauses and definite-clause grammars.

Historique d'adoption

The project’s guide credits early community review and hundreds of Picat programs written from May 2013 onward as important to the language’s rapid maturation. Picat later developed a presence in constraint-programming education, programming contests, and solver competitions.

The official site records first-place performance in the 2021 LP/CP programming contest and competitive results in later XCSP and MiniZinc challenges. It is distributed through several Unix package ecosystems, including Homebrew, Alpine Linux, and Nix.

Modes d'utilisation

Users can start an interactive Picat session with the picat command, load and debug programs, or execute a .pi program directly when it defines main/0 or main/1. Common application areas include constraint models, combinatorial search, planning, contest problems, and scripts.

Pourquoi les passionnés de paquets s'y intéressent

Picat interests language-package enthusiasts because it packages a comparatively uncommon blend of Prolog-like relations, imperative assignments and loops, tabling, constraint solving, planning, and scripting in one standalone interpreter.

Its implementation lineage through the B-Prolog engine and its interfaces to SAT, SMT, and mathematical-optimization solvers make it a compact gateway into several declarative-programming traditions.

Chronologie

2012: Initial Picat design published.
2013: First alpha version released in May.
2021: Picat team won the LP/CP programming contest.
2022: Version 3.3 released.
2023: Versions 3.4 and 3.5 released.
2024: Versions 3.6 and 3.7 released.
2025: Versions 3.8 and 3.9 released.
2026: Version 3.9#11 released on July 16.

Related projects

Picat is implemented on the B-Prolog engine and is conceptually related to Prolog, constraint-programming systems, and modeling languages. Its official guide documents interfaces to Kissat, Gurobi, CBC, GLPK, SCIP, and Z3.

Sources

Official Picat User’s Guide: https://picat-lang.org/download/picat_guide_html/picat_guide.html
Official Picat homepage: https://picat-lang.org/index.html
Official releases page: https://picat-lang.org/download.html

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

generalized runtime or code generation signal

Signaux

text:programming language

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 5 plateformes.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`picat`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-09-19

version du gestionnaire3.9.12

gestionnaire mis à jour2026-09-11

données localesOK

amontnot checked

dernière version détectéenon détecté

https://picat-lang.org/

infoRelease/tag comparison is only available for GitHub repositories.https://picat-lang.org/confiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:picat
Version	3.9.12
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/picat
Page d'accueil	https://picat-lang.org/
Docs amont	https://picat-lang.org/
Licence	MPL-2.0
Archive source	https://picat-lang.org/download/picat39_12_src.tar.gz
Dernière mise à jour	2026-09-11T12:53:08Z
Pulse	updated
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Nix95%

picat

nix profile install nixpkgs#picat

normalized package name match
Correspondance par : Picat

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

apk95%

picat 3.9.12-r0

Logic-based multi-paradigm programming language

https://picat-lang.org/

sudo apk add picat

License: MPL-2.0
Architecture: x86_64
Source Package: picat
1 Dépendances
1 fournit
normalized package name match
Correspondance par : Picat

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

apk95%

picat-doc 3.9.12-r0

Logic-based multi-paradigm programming language (documentation)

https://picat-lang.org/

sudo apk add picat-doc

License: MPL-2.0
Architecture: x86_64
Source Package: picat
normalized package name match
Correspondance par : Picat

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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/picat.yml

Sources utilisées

Geiger risk classifier
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment
pkg.so package database
pkgdb category and tag curation

Installer picat avec Homebrew, apk, Nix

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : yellow

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées