Library for representing boolean polynomials/functions. For speed and efficiency reasons, the number of inputs is currently required to be less than 256. This framework uses ideas and representations from the PolyBoRi framework.
blaxill/boo
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|