libpetanque

v 1.1.0 Updated: 1 year, 3 months ago

Library that helps manipulate symbolic boolean expressions

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

https://github.com/quarkslab/arybo

To install libpetanque, paste this in macOS terminal after installing MacPorts

sudo port install libpetanque

Add to my watchlist

Installations 1
Requested Installations 1