3 lines
136 B
Text
3 lines
136 B
Text
petanque is a library that helps manipulate symbolic boolean expressions.
|
|
|
|
WWW: https://github.com/quarkslab/arybo/tree/master/petanque
|