Decision Procedure Toolkit - Browse /dptBridgeGen/dptBridgeGen-1.2 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
dptBridgeGen-1.2.tar.gz	2008-05-01	21.2 kB	0
Totals: 1 Item		21.2 kB	0

Other Useful Business Software

Stop Storing Third-Party Tokens in Your Database

Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.

Try Auth0 for Free

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

Recommended Projects

buddy
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.
Open Decision Maker
The Open Decision Makes enables you to find the best alternative for a defined goal with the AHP (Analytic Hierarchy Process) method.
Decision Table Creator
Decision Table Creator is a tool to create/edit/export decision tables. Tables can be checked on consistency and completeness. The resulting table can be copied to the clipboard to incorporate it in Word, Excel or PowerPoint. Plans exist to extend to multi value decisions. Please request for this or other extensions so I got an idea of the need for this.
Tarski
Tarski: A toolkit for the Theory of Equality
Sparse
Sparse is a direct method solver for the large sparse matrices that are associated with electrical circuit simulation. It uses LU factorization and handles both real and complex square matrices.It is intended to solve many matrices with the same structure

Decision Procedure Toolkit Files

Get an email when there's a new version of Decision Procedure Toolkit