libpetanque (math/libpetanque) Updated: 2 years, 1 month ago Add to my watchlist

Library that helps manipulate symbolic boolean expressions

Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions.

Version: 1.1.0 License: BSD

GitHub

Maintainers	barracuda156
Categories	math
Homepage	https://github.com/quarkslab/arybo
Platforms	darwin
Variants	debug (Enable debug binaries) universal (Build for multiple architectures)

clang-17

cmake

No ports

Loading Port Health

0