libraries/buddy: Fix slack-desc.

This commit is contained in:
B. Watson 2016-11-13 22:17:21 -05:00 committed by Willy Sudiarto Raharjo
parent 447678f64d
commit bc7a669934
No known key found for this signature in database
GPG key ID: 887B8374D7333381

View file

@ -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/