.project-words.txt

aarch
AIGER
alloc
archs
arcslab
arity
arrayvec
automodule
autosummary
BCDD
BDD
BibTeX
binfmt
binop
bitflags
bitvec
bugprone
buildwheel
capi
cassert
cbindgen
cdylib
cffi
cfgs
CFLAGS
cibuildwheel
clangd
clippy
codegen
cofactor
cofactors
compat
condvar
constexpr
consts
cplusplus
cstdarg
cstdint
cstdlib
CUDD
Cython
DDDMP
dealloc
DIMACS
docstring
docstrings
Doxyfile
Doxygen
Dubslaff
dylib
endcond
fieldless
filesystems
forall
fullname
Graphviz
hashable
hasher
hashtbl
Hermanns
Holger
hugealloc
hugepage
hugepages
Husung
ifdef
ifdefs
ilog
impl
implib
impls
initializable
injective
intptr
intsec
isize
isort
Javadoc
Köhl
levelized
libc
liboxidd
linenos
madvise
manylinux
mdbook
memchr
Miri
mmap
MSVC
MTBDD
musllinux
NAND
nanorand
nanos
NOLINTNEXTLINE
nonnull
nonoverlapping
noreturn
OxiDD
pointee
postprocess
precompute
ptrdiff
pycache
pycodestyle
PYFFI
Pyflakes
pypa
pyproject
pypy
pyright
pytest
pyupgrade
RAII
realloc
repr
retag
rpath
rustc
RUSTDOCFLAGS
RUSTFLAGS
rustfmt
rustix
Rustonomicon
rustup
rwlock
satisfiability
segtree
serde
setuptools
sideeffect
smallvec
spinlock
spinlocks
sptr
staticlib
stdarg
stdbool
stdint
stdlib
struct
structs
subdir
subdirs
subgroup
subgrouping
subslice
subtrait
subtraits
swappable
sysinfo
TACAS
toctree
trybuild
typedefs
uchar
uintptr
unescaping
uninit
unoptimized
unref
usize
venv
virtualenv
wakeups
wyrand
ZBDD
ZDDs
ZSDDs