SMTLib.jl/Project.toml at main · hyperpolymath/SMTLib.jl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# SPDX-License-Identifier: MPL-2.0
name = "SMTLib"
uuid = "7d3f9a2c-8b4e-5c1f-a6d0-9e8f7b2c3d4e"
authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
version = "0.2.0"
license = "MPL-2.0"

[deps]
AcceleratorGate = "59f742c7-270d-4a76-95d4-a853ae16cc71"
SHA = "ea8e919c-243c-51af-8825-aaa63cd721ce"

[weakdeps]
AMDGPU = "21141c5a-9bdb-4563-92ae-f87d6854732e"
CUDA = "052768ef-5323-5732-b1bb-66c8b64840ba"
CryptoAccel = "99999999-9999-9999-9999-999999999999"
DSPLibs = "33333333-3333-3333-3333-333333333333"
FPGASynthesis = "44444444-4444-4444-4444-444444444444"
MathAccel = "88888888-8888-8888-8888-888888888888"
Metal = "dde4c033-4e86-420c-a63e-0dd931031962"
NPUAccel = "22222222-2222-2222-2222-222222222222"
PPUCompute = "77777777-7777-7777-7777-777777777777"
QPUInterface = "66666666-6666-6666-6666-666666666666"
TPUCompute = "11111111-1111-1111-1111-111111111111"
VPURuntime = "55555555-5555-5555-5555-555555555555"

[extensions]
SMTLibCUDAExt = "CUDA"
SMTLibROCmExt = "AMDGPU"
SMTLibMetalExt = "Metal"
SMTLibTPUExt = "TPUCompute"
SMTLibNPUExt = "NPUAccel"
SMTLibDSPExt = "DSPLibs"
SMTLibFPGAExt = "FPGASynthesis"
SMTLibVPUExt = "VPURuntime"
SMTLibQPUExt = "QPUInterface"
SMTLibPPUExt = "PPUCompute"
SMTLibMathExt = "MathAccel"
SMTLibCryptoExt = "CryptoAccel"

[compat]
AcceleratorGate = "0.1"
SHA = "0.7, 1"
julia = "1.9"

[extras]
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[targets]
test = ["Test"]