Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: picat 3.5-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/picat.git (read-only, click to copy)
Package Base:	picat
Description:	A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.
Upstream URL:	http://picat-lang.org/
Licenses:	MPL
Submitter:	abeaumont
Maintainer:	abeaumont
Last Packager:	abeaumont
Votes:	2
Popularity:	0.000001
First Submitted:	2018-12-28 19:11 (UTC)
Last Updated:	2023-07-10 20:53 (UTC)

Dependencies (6)

glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR)
coin-or-cbc (optional) – CBC MIP support
cvc4 (cvc4-git^AUR) (optional) – CVC4 SMT support
glpk (glpk-git^AUR, glpk-cut-log^AUR) (optional) – GLPK MIP support
gurobi^AUR (gurobi81^AUR) (optional) – Gurobi MIP support
z3 (z3-java^AUR, z3-git^AUR) (optional) – Z3 SMT support

Required by (0)

Sources (1)

http://picat-lang.org/download/picat35_linux64.tar.gz

Latest Comments

abeaumont commented on 2021-06-03 06:53 (UTC)

Thanks for reporting. I have confirmed with the author that the source file was changed after I packaged the new version. I have fixed the checksum now.

aarroyoc commented on 2021-06-02 19:31 (UTC)

Currently fails to install with a checksum error