.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pkgbase = picat
	pkgdesc = A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.
	pkgver = 3.7
	pkgrel = 1
	url = http://picat-lang.org/
	arch = x86_64
	license = MPL-2.0
	depends = glibc
	depends = gcc-libs
	optdepends = coin-or-cbc: CBC MIP support
	optdepends = cvc4: CVC4 SMT support
	optdepends = glpk: GLPK MIP support
	optdepends = gurobi: Gurobi MIP support
	optdepends = z3: Z3 SMT support
	source = http://picat-lang.org/download/picat37_src.tar.gz
	b2sums = fb455c018d6ac76240f1a4ff5b8676b0eefe5d0ae714c7b8e790fa22d2832b9e56dcc6af888c817361346e210dd50b673f48ea09aee462f0903ebc2598a702bd

pkgname = picat