blob: 59587b8857682f2cef359a31312575cf5a2ab67b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Copyright 2013-2023 Lawrence Livermore National Security, LLC and other
# Spack Project Developers. See the top-level COPYRIGHT file for details.
#
# SPDX-License-Identifier: (Apache-2.0 OR MIT)
from spack.package import *
class PyZ3Solver(PythonPackage):
"""Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license."""
homepage = "https://github.com/Z3Prover/z3"
pypi = "z3-solver/z3-solver-4.12.3.0.tar.gz"
license("MIT")
version("4.12.3.0", sha256="b6719daf9676711a8f1c708af0ea185578b0f22a3cb9bf9a55735e21691dc38d")
depends_on("py-setuptools@46.4:", type="build")
depends_on("cmake", type="build")
|
