Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.544.813 Times

Ruby-BDD 0.2

  Date Added: April 11, 2010  |  Visits: 750

Ruby-BDD

Report Broken Link
Printer Friendly Version


Product Homepage
Download (82 downloads)



Ruby-BDD is a BDD Binding for Ruby. BDDs [bry86,and97] (or more precisely ROBDDs) are efficient data structures for representing boolean formula. They are widely used in formal verification, in particular symbolic model-checking. The idea of symbolic model-checking is to represent sets of states transition relations as formula (and to compute the fix-point of the set of all reachable states for reachability analysis). Buddy is a BDD library written in C with an API both in C and C++. It is developer friendly with a simple interface. It supports all standard BDD operations, variable ordering, printing, has automated garbage collection, and is compilable on Unix and Windows platforms. Ruby, despite being a scripting language, is a powerful and clean object-oriented language that is very easy to learn and use. In particular it is well-suited for quick prototyping and education purposes. Ruby-BDD is a binding for Ruby based on Buddy that provides BDD classes to create and manipulate BDDs in Ruby. Whats New in This Release: - This release adds support for bit vectors and finite domains. - Most of the Buddy library is now available through a Ruby style API..

Requirements: No special requirements
Platforms: Linux
Keyword: Bdd Bdd Binding Binding Libraries Programming Ruby Rubybdd
Users rating: 0/10

License: Freeware Size: 37.89 KB
USER REVIEWS
More Reviews or Write Review


RUBY-BDD RELATED
Libraries  -  Ruby-UDBM 0.7
The Ruby DBM library has now a binding to the popular Ruby language. The binding offers several modules as different layers on top of the DBM library, depending on what the user wants to do. The different modules are: - udbm: This is the core...
112.64 KB  
Libraries  -  RenderMan 0.04
RenderMan is a RenderMan binding as a Perl 5.6 module. SYNOPSIS use RenderMan; This RenderMan module implements a Perl 5.6 binding for the BMRT client library (libribout). It fully supports the client library. Therefore, this module has the...
81.92 KB  
Libraries  -  MPI Ruby 0.3
MPI Ruby is a Ruby binding of MPI. MPI Rubys primary goal in making this binding was to make the power of MPI available to Ruby users in a way that fits into the languages object oriented model. In order to do this, the buffer and datatype...
122.88 KB  
Libraries  -  Ruby/FLTK 0.9.6
Ruby/FLTK is a Ruby binding for the FLTK (Fast Light ToolKit) GUI library. It works fine with OpenGL on UNIX, Cygwin and MinGW environment..
 
Libraries  -  BDD BuDDy 2.4
BDD BuDDy is 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. The BDD package...
778.24 KB  
Libraries  -  adanetcdf 0.2
adanetcdf project is an Ada-95 binding to the netcdf library. Whats New in This Release: - added `varead for single call extraction of vectors and matrices from. Software page of Alexandru Dan Corlan MD PhD
14.34 KB  
Libraries  -  Net::DBus 0.33.2
Net::DBus provides a Perl binding for the DBus messaging system. Net::DBus enables services to be exported to the bus, as well as full use of services present on the bus. Modules: Net::DBus Perl extension for the DBus message system0.33.2...
82.94 KB  
Libraries  -  wx4j 0.2.0
wx4j project is a Java binding for wxWindows. It provides a Java GUI toolkit using native widgets (to utilize the native look and feel). This is in contrast to Swing/JFC which tries to mimic the native look and feel, but usually doesnt quite...
3.3 MB  
Libraries  -  eGTK 0.3.5
eGTK is a binding between the Eiffel programming language and the GTK+ widget toolkit. eGTK works with two compilers: the GNU SmallEiffel compiler and ISE Eiffel (commercial compiler). Gtk+ is a widget toolkit for X-window systems. Gtk+...
235.52 KB  
Libraries  -  python-gdkinput 1.0
python-gdkinput is a Python binding for the gdk_input_add and gdk_input_remove functions missing in PyGtk. his group of functions is not present in the Gtk+/Python "PyGtk" binding, and one needs it to do asynchronous I/O in a Gtk+ based GUI....
11.26 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Libraries  -  EuGTK 4.8.9
Makes it easy to develop good- looking, fast, cross-platform programs that run on Linux, OS X, and Windows. Euphoria is a very fast interpreted/compiled language with straight-forward syntax. EuGTK allows programming in a clean, object-oriented...
10.68 MB  
Libraries  -  Linux User Group Library Manager 1.0
The LUG Library Manager is a project to help Linux User Groups start their own library. A LUG library is helpful to the community at large because it increases access to information, and gives everyone the opportunity to become more knowledgeable.
5.35 KB  
Libraries  -  Module::MakefilePL::Parse 0.12
Module::MakefilePL::Parse is a Perl module to parse required modules from Makefile.PL. SYNOPSIS use Module::MakefilePL::Parse; open $fh, Makefile.PL; $parser = Module::MakefilePL::Parse->new( join("", ) ); $info = $parser->required;...
8.19 KB  
Libraries  -  sqlpp 0.06
sqlpp Perl package is a SQL preprocessor. sqlpp is a conventional cpp-alike preprocessor taught to understand SQL ( PgSQL, in particular) syntax specificities. In addition to the standard #define/#ifdef/#else/#endif cohort, provides also...
10.24 KB  
Libraries  -  App::SimpleScan::Substitution::Line 2.02
App::SimpleScan::Substitution::Line is a line with optional fixed variable values. SYNOPSIS my $line = App::SimpleScan::Substitution::Line->new(" this "); # Use only this value when substituting " ". $line->fix(substituite =>...
54.27 KB