.SRCINFO


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

pkgbase = picat
	pkgdesc = A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.
	pkgver = 3.5
	pkgrel = 1
	url = http://picat-lang.org/
	arch = x86_64
	license = MPL
	depends = glibc
	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/picat35_linux64.tar.gz
	sha256sums = 8e4380fba441fbc6675b63e071c4b2197eca44457be496c9efd8338e8932d030

pkgname = picat