specialty archive
- SecureFX for Linux
- Windows 10 Manager
- OneLaunch
- Vivaldi for Windows 32
- Apeaksoft iPhone Transfer for Mac
- Office Tracker
- Allavsoft for Mac
- PWMinder Desktop
- VideoPad Free Movie and Video Editor
- ClickCharts FlowCharts Free for Mac
- Active@ Disk Image
- Easy Cards Creator Professional
- Express Accounts Accounting Free
- ChequeSystem Cheque Printing Software
- Bandicam Screen Recorder
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
- Devart ODBC Driver for SAP Sybase ASE v.3.3.3Devart ODBC Driver for SAP Sybase ASE is a high-performance connectivity solution with enterprise-level features for accessing ASE databases from ODBC-compliant BI, reporting, analytics, and ETL tools on both 32-bit and 64-bit Windows, macOS, and Lin ...
- Devart ODBC Driver for Confluence Cloud v.1.1.2Devart ODBC Driver for Confluence Cloud is a high-performance connectivity tool with enterprise-level features for accessing Confluence Cloud from ODBC-compliant reporting, analytics, BI, and ETL tools on both 32-bit and 64-bit Windows.
- Devart ODBC Driver for DEAR Inventory v.1.1.2Devart ODBC Driver for DEAR Inventory is a high-performance connectivity tool with enterprise-level features for accessing DEAR Inventory from ODBC-compliant reporting, analytics, BI, and ETL tools on both 32-bit and 64-bit Windows.
- Devart ODBC Driver for Delighted v.1.1.2Devart ODBC Driver for Delighted is a high-performance connectivity tool with enterprise-level features for accessing Delighted from ODBC-compliant reporting, analytics, BI, and ETL tools on both 32-bit and 64-bit Windows.
- 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 ...