Ruby-UDBM v.0.7
Advertisement
Advertisement
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 binding that provides the classes Constraint to define constraints 3) or (a.x > 4) | (a.y > 5), compute intersections, relations, unions, whatever you can do on federations, but with sets instead. It is another view of federations. Enhancements: - The graphical viewer can now display points together with federations. - This release has been rebuilt against the DBM library version 2.0.5.
The Ruby DBM library has now a binding to the ...
Review Ruby-UDBM
Other software of Alexandre David
- Ruby-BDD v.0.2Ruby-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 ...
- UPPAAL v.4.0.6UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). UPPAAL CORA is a branch of UPPAAL for Cost ...
- UPPAAL DBM Library v.2.0.5Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. They are used in UPPAAL as the core data structure to represent time. This library features all the common operations such as up (delay, ...
New Components & Libraries software
- DbExpress driver for Oracle v.8.1.0dbExpress is a database-independent layer that defines common interface to provide fast access to Oracle from Delphi and C++Builder, including Community Edition, on Windows and macOS (32-bit and 64-bit) and Linux (64-bit) platforms.
- DotConnect for Oracle v.10.3.20dotConnect for Oracle is an enhanced ORM enabled data provider for Oracle that builds on ADO.NET technology to present a complete solution for developing Oracle-based database applications.
- DotConnect for PostgreSQL v.8.3.20dotConnect for PostgreSQL is an enhanced data provider built over ADO.NET architecture and a development framework with a number of innovative technologies. It supports Entity Framework, NHibernate, and LinqConnect ORMs.
- DotConnect for MailChimp v.2.2.20dotConnect for MailChimp is an ADO.NET provider for working with MailChimp data through the standard ADO.NET or Entity Framework interfaces.
- Ruby-BDD v.0.2Ruby-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 ...
- Revertris v.1.3Revertris 1.3 is an exciting and tractable puzzle game that combines concentration tactics with time-attack arcade action. Using conventional tetraminos (tiles made of four linked cells), Revertris starts where Tetris ends, pushing the game to a new ...