.project-words.txt

alloc
arcslab
arity
arrayvec
BCDD
BDD
binop
bitflags
bitvec
capi
cassert
cbindgen
cdylib
cffi
cfgs
CFLAGS
clippy
codegen
cofactor
cofactors
compat
condvar
constexpr
consts
cplusplus
cstdarg
cstdint
cstdlib
CUDD
Cython
DDDMP
dealloc
DIMACS
Dubslaff
dylib
fieldless
forall
hasher
hashtbl
Hermanns
Holger
hugealloc
hugepage
hugepages
Husung
ifdef
ifdefs
ilog
impl
impls
intptr
intsec
isize
isort
Köhl
levelized
liboxidd
madvise
mdbook
memchr
Miri
mmap
MSVC
MTBDD
NAND
nanos
nonnull
nonoverlapping
noreturn
OxiDD
pointee
postprocess
ptrdiff
pycache
pycodestyle
Pyflakes
pyright
pyupgrade
RAII
realloc
repr
retag
rpath
rustc
rustfmt
rustix
Rustonomicon
rwlock
satisfiability
segtree
serde
setuptools
smallvec
spinlock
spinlocks
sptr
staticlib
stdarg
stdbool
stdint
stdlib
struct
structs
subtrait
subtraits
sysinfo
TACAS
trybuild
typedefs
uchar
uintptr
unescaping
uninit
unoptimized
unref
usize
wakeups
ZBDD
ZDDs
ZSDDs