diff options
Diffstat (limited to 'libraries/buddy/README')
| -rw-r--r-- | libraries/buddy/README | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libraries/buddy/README b/libraries/buddy/README new file mode 100644 index 0000000000..43caf2db9d --- /dev/null +++ b/libraries/buddy/README @@ -0,0 +1,6 @@ +A Binary Decision Diagram library, with: + - many highly efficient vectorized BDD operations, + - dynamic variable reordering, + - automated garbage collection, + - a C++ interface with automatic reference counting, +and much more. |