Search Criteria
Package Details: picat 3.5-1
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-gitAUR, glibc-linux4AUR, glibc-eacAUR)
- coin-or-cbc (optional) – CBC MIP support
- cvc4 (cvc4-gitAUR) (optional) – CVC4 SMT support
- glpk (glpk-gitAUR, glpk-cut-logAUR) (optional) – GLPK MIP support
- gurobiAUR (gurobi81AUR) (optional) – Gurobi MIP support
- z3 (z3-javaAUR, 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