Submit Software
  1. Home
  2. Linux
  3. Other
  4. buddy

buddy 2.4

License: Free ‎File size: N/A
‎Users Rating: 4.5/5 - ‎2 ‎votes
Download

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.

VERSION HISTORY

  • Version BuDDy%202.4 posted on 2004-07-28
    Several fixes and updates
  • Version BuDDy 2.4 posted on 2004-07-28

Program Details

Related Programs

  • 1-Click Duplicates Delete (Outlook) Free Trial

    Searches/deletes duplicate calendar items, e_mails and contacts with just 1 click. Everything can be undone. Contact items aren't simply removed, they're merged, taking the best infos from each contact into one big contact. I

  • TurboVB Free Trial

    TurboVB is an integrated feature packed add-in tool for VB6 - a major enhancement to its IDE. It has over 40 add-ins that will provide you with real productivity gains. The hours saved by this VB tool will add up to extra d

  • gwave Free

    Gwave is a waveform viewer for the output of analog electronic circuitsimulators such as spice. It displays the data as 2-D plots, andallows for interactive scrolling, zooming, and measuring of thewaveforms.

  • Common Lisp bindings to GTK+ Free

    clg is an interface to the GTK+ graphical toolkit for the CMUCL, SBCL and CLISP implementations of Common Lisp.

  • Caption It Free

    Caption It is the best photo captioning app on the Android Market! This photo caption maker allows you to make captions on your photos and share with your friends.Share with the following:*Facebook*Twitter*Text Messaging*Emai

  • DataSetEditor Free

    DataSetEditor is a graphical editor for dbUnit XML dataset files. It includes a textual editor and, if database driver provided, imports table layouts from database.

  • AdvancedFileBrowser Free Trial

    Please try free version before purchasing.Search Android Market for "Pattern encrypt" for free version download.Advanced File Browser is extended version of free version.Features of Advanced File Browser 1. No need to remembe

  • GibbsLDA++: A C/C++ Gibbs Sampling LDA Free

    GibbsLDA++: A C/C++ Implementation of Latent Dirichlet Allocation (LDA) using Gibbs Sampling for parameter estimation and inference. GibbsLDA++ is fast and is designed to analyze hidden/latent topic structures of large-scale

  • DICE Grader Free

    DICE is a parse-based online assessment system for C and Java programming courses. The system will compile and execute student programs against instructor-provided test cases, and then assign a grade based on the program outp

  • JEvaluate Free

    A Java Library for parsing and evalutaing Mathematical expressions, that can deal with Numeric, Dates, Text and Boolean values, and can detect circular references. You can also create your own functions, rename existing funct