Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
dbForge Studio for PostgreSQL 2.3.212
HTMLPad 2020 16.2
WeBuilder 2020 16.2
Rapid CSS 2020 16.2
Rapid PHP 2020 16.2
C# HTML to PDF 2020.8.1
Flowrigami 1.0.0.1
Vue Injector 3.3
Spectrum Analyzer pro Live 2019
Devart Excel Add-in for HubSpot 2.1
RentALLScript - Airbnb clone 2.2
SuiteCRM Theme Customization 7.11.6
iScripts NetMenus 3.1
iScripts EasyIndex 2.2
iScripts EasySnaps 2.0
Top Code
IcrediBB Bulletin Board System 1.0
Ad2Ex Adverser Php Script 1.06
Video Conference Website Scripts 2.86
Design and Implementation of FIR Filter 1.0
Aspose.BarCode for .NET 5.4.0.0
Easy PCB Design Software in Java 1.0
Total menu 2.2
Analog clock component
Personal Ads Script 1.I
3D Carousel Menu FX 1.0
Php Board Script 6.4.3
Netflix Clone 3.0
LinkTree
Temperature Controller 1.0
Online Food Ordering System 1.3.2
Top Rated
Uber Clone with Safety Measure Addons 2.0
Answers phpSoftPro 3.12
phpEnter 5.1.
Quick Maps For Dynamics CRM 3.1
Single Leg MLM 1.2.1
Azizi search engine script PHP 4.1.10
Paste phpSoftPro 1.4.1
Extreme Injector 3.7
Deals and Discounts Website Script 1.0.2
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
Invoice Manager by PHPJabbers 3.0
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
bddbddb: BDD-Based Deductive Database 1.0
File ID: 127313






bddbddb: BDD-Based Deductive Database 1.0
Download bddbddb: BDD-Based Deductive Database 1.0http://bddbddb.sourceforge.netReport Error Link
License: Freeware
Downloads: 4
Submit Rating:
bddbddb: BDD-Based Deductive Database 1.0 Description
Description: 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.

License: Freeware

Downloads: 4



More Similar Code

PSODL - PL/SQL based Oracle Database Loader - http://tinyurl.com/2amrqg



bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.



Web Based Database Query Tool is a simple free Web based MySql database query tool.

Features:
- Web based mysql database query tool in php.
- Easy to use tool that can be integrated in to any web page.
- Dynamically...



The CSV database is a PHP based simple database application, letting you manage records on a CSV spreadsheet.



Engine for creating web-based hierarchical database systems.Describe your hierarchical data structure within the engine's metadata and it will present you with a web form based data capture and retrieval application for managing your data.



The Generic Genetic Studies Database (GGSD) is a web-based, relational database driven data management software package for the management of large scale genetic studies.



DBIx::Informix::Perform is a Perl and Curses-based cross-database emulator of the Informix Perform query and update utility. It can use an existing Perform description file, or query a database's schema for a table.



Mp3base is a web based mp3 database and jukebox. It uses mysql to store songs and mpg123, xmms or shout (icecast) for playing. The player can be run on a remote machine. Multiple users, playlists and voting are supported.



Avenue DBM is a cross platform, wxPython-based embedded database manager, allowing users to create and manage SQLite and BerkeleyDB databases. Support for exporting to multiple formats and migrating to new versions of supported databases.



AxpDB is a web based online database component that helps the user to create database tables and the datas in this table can be accessed by just a four line code. This component provides HTML code for the datas and specifies database connections...

User Review for bddbddb: BDD-Based Deductive Database
- required fields
     

Please enter text on the image