Search Results for "class diagram sharpdevelop"

This program allows to draw diagrams with chart library, that can be used with dialog applications, based on the RC files designers (such as FbEdit for example). This is the one of the fastest way to create window application with visual design methods, and implement into it an ellegant and flexible chart, that can be choosen from four different diagram kinds (if you edit code and use it in your projects). The source code chart library by Lothar Schirm is based on the consolidated...

The math category theory software with diagram graphical user interface.

JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual"...

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.

Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.

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

It is a bit timing calculator for the popular Microchip MCP2510. It has a graphical diagram view of your choosen options. You can save or print a report at the end.