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
|
[build-system]
build-backend = 'mesonpy'
requires = ['meson-python', 'cython>=3.0.0']
[project]
name = 'bitwuzla'
dynamic = ['version']
description = 'Bitwuzla Satisfiability Modulo Theories Solver'
requires-python = '>= 3.7'
license = {file = 'COPYING'}
authors = [
{name = 'Aina Niemetz'},
{name = 'Mathias Preiner'},
]
[project.urls]
Homepage = "https://bitwuzla.github.io"
Documentation = "https://bitwuzla.github.io/docs/python/api.html"
Repository = "https://github.com/bitwuzla/bitwuzla"
Issues = "https://github.com/bitwuzla/bitwuzla/issues"
Changelog = "https://github.com/bitwuzla/bitwuzla/blob/main/NEWS.md"
[tool.meson-python.args]
dist = []
setup = ['-Dpython=true']
compile = ['python-bindings']
install = ['--tags=python-bindings']
|
