pyndakaas 0.4.0

Python bindings for the pindakaas crate
Documentation 
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
50
51
52
53

[build-system]
requires = ["maturin>=1.8,<2.0"]
build-backend = "maturin"

[dependency-groups]
dev = ["ruff>=0.12.0"]
docs = [
	"sphinx>=7.1.2",
	"sphinx-autobuild>=2021.3.14",
	"sphinx-rtd-theme>=3.0.2",
]
test = ["pytest>=8.3.5"]

[project]
name = "pindakaas"
description	= "Boolean satisfiability (SAT) library with efficient encoding of complex constraints and solver interaction"
authors = [
	{name = "Jip J. Dekker", email = "jip@dekker.one"},
	{name = "Hendrik 'Henk' Bierlee", email = "henk.bierlee@kuleuven.be"},
]
readme = "README.md"
license = "MPL-2.0"
keywords = ["satisfiability", "encoding", "boolean", "logic", "sat"]
requires-python = ">=3.8"
classifiers = [
	"Development Status :: 4 - Beta",
	"Programming Language :: Rust",
	"Topic :: Scientific/Engineering :: Artificial Intelligence",
	"Topic :: Scientific/Engineering :: Mathematics",
	"Programming Language :: Python :: Implementation :: CPython",
	"Programming Language :: Python :: Implementation :: PyPy",
	"Programming Language :: Python :: 3",
	"Programming Language :: Python :: 3.8",
	"Programming Language :: Python :: 3.9",
	"Programming Language :: Python :: 3.10",
	"Programming Language :: Python :: 3.11",
	"Programming Language :: Python :: 3.12",
]
dynamic = ["version"]

[project.urls]
documentation = "https://pindakaas.readthedocs.io/en/latest/"
repository = "https://github.com/pindakaashq/pindakaas.git"
issues = "https://github.com/pindakaashq/pindakaas/issues"
changelog = "https://github.com/pindakaashq/pindakaas/blob/develop/crates/pyndakaas/CHANGELOG.md"

[tool.maturin]
python-source = "python"
features = ["pyo3/extension-module"]

[tool.ruff]
lint.select = ['B', 'C', 'E', 'I', 'F', 'W']
lint.pycodestyle.max-doc-length = 88