Search Criteria
Package Details: picat 3.7-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-2.0 |
Submitter: | abeaumont |
Maintainer: | johv |
Last Packager: | johv |
Votes: | 3 |
Popularity: | 0.67 |
First Submitted: | 2018-12-28 19:11 (UTC) |
Last Updated: | 2024-09-24 14:13 (UTC) |
Dependencies (7)
- gcc-libs (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-snapshotAUR)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-eacAUR, glibc-eac-binAUR, glibc-eac-rocoAUR)
- coin-or-cbc (optional) – CBC MIP support
- cvc4 (optional) – CVC4 SMT support
- glpk (glpk-gitAUR, glpk-cut-logAUR) (optional) – GLPK MIP support
- gurobiAUR (gurobi81AUR) (optional) – Gurobi MIP support
- z3 (z3-gitAUR) (optional) – Z3 SMT support
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