diff options
-rw-r--r-- | libraries/buddy/slack-desc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libraries/buddy/slack-desc b/libraries/buddy/slack-desc index ff85f0314d..f19819f8b1 100644 --- a/libraries/buddy/slack-desc +++ b/libraries/buddy/slack-desc @@ -9,10 +9,10 @@ buddy: buddy (Binary Decision Diagram library) buddy: buddy: A Binary Decision Diagram library, with: -buddy: - many highly efficient vectorized BDD operations, -buddy: - dynamic variable reordering, -buddy: - automated garbage collection, -buddy: - a C++ interface with automatic reference counting, +buddy: - many highly efficient vectorized BDD operations, +buddy: - dynamic variable reordering, +buddy: - automated garbage collection, +buddy: - a C++ interface with automatic reference counting, buddy: and much more. buddy: buddy: https://sourceforge.net/projects/buddy/ |