Search Results for "buddy"
Sort By:
Showing 8 open source projects for "buddy"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
LTL3DRA
LTL to deterministic Rabin automata translator based on LTL3BA
...Strejček: Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (2013) In 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) In order to compile LTL3DRA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. Tested with buddy 2.4. The benchmark used in "Comparison of LTL to Deterministic Rabin Automata Translators" paper published on LPAR19 can be found in Files/LPAR19-benchmarks (https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/). -
2
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
...LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. -
3
Buddy Rock Geotools
Toolbox for geoscientists and geo enthusiasts
-
4
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.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
Java Decision Diagram Libraries (BDD)
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD -
6
This is a small application in Java helping to find DICOM tags meanings by tag values or DICOM tag codes by meaning.
-
7
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
-
8
Insulin Buddy is diabetes management software. It allows for quick and painless entry of all diabetes-related data (blood blucose, carbohydrate consumption, insulin doses, etc) and provides a number of reports, charts and data exports to easily keep trac
- Previous
- You're on page 1
- Next
