Submit Software
  1. Home
  2. Linux
  3. Other
  4. bddbddb: BDD-Based Deductive Database
  5. Download

bddbddb: BDD-Based Deductive Database

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

ABOUT bddbddb: BDD-Based Deductive Database

BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.

Related Programs

  • Proxy Pal For Networks Free

    PPFN, it is also a tool to be hidden from any server log, these developers know what they have to do. Do you? If you download this ultimate package you will be able to enjoy the web knowing that you would be safe. So be safe,

  • XBMC / Boxee Remote Free

    Remote control for XBMC / Boxee.PLEASE UNINSTALL v1.0!!! v3.1* Profiles support in preferences v2.2* Minor bug fix v2.1* Minor bug

  • jDTAUS Free

    Java implementation of the german DTAUS fileformat. Supports read, add, edit, delete operations and extension records. A GUI application is available demonstrating all available features. See the screenshots.

  • Alligator Snap Free Trial

    Snap together your own webpages in 3 easy steps. You don't need any prior experience - Alligator Snap comes with pre-designed Web templates and loads of great features. Additional templates can be downloaded and installed for

  • Mayur Linux Free

    Mayur Linux operating system is based on LinuxPAE64 kernel which allow x86-64 binaries to run on a 32 bit operating system if the processor is x86-64 compatible.

  • RIDGID Digital Bubble Level Free Trial

    The RIDGID® Digital Bubble Level features three vials for plumb, level and 45° miter. There is an optional sound feature that allows you to audibly determine your results for situations when you cannot view the screen. The

  • CNC GCODE Coordinate Transposition Tool Free

    This Python 3.1 tool manipulates the coordinate system of CNC GCODE for machining or engraving. It can Flip X, Y, or Z coordinates, mirror X, Y, or Z coordinates, flip or Mirror both XY coordinates, or insert Z motions into a

  • Cell Messaging Layer Free

    The Cell Messaging Layer is an extremely fast, MPI-like communication library for clusters of Cell Broadband Engine processors. With it, any Cell synergistic processing element (SPE) can communicate directly with any other SP

  • cccl Free

    cccl is a wrapper around Microsoft Visual C++'s cl.exe and link.exe. It converts Unix compiler command line parameters into the equivalent parameters for cl and link.

  • C/C++ Program Perfometer Free

    The program enables to get performance of C/C++ program and separated pieces of code for any metrics (for instance : time, memory, metrics defined by user etc.). The measurement results are represented in detailed/summary rep