Decision Procedure
Advertisement
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Advertisement
RSolver v.1.24
Solve quantified inequality constraints fast and easy. RSolver is a software for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions,
Decision Assistant Model Excel
The Decision Assistant Model values a decision and determines the impact on your business. It calculates the range of possible outcomes for your decision, their likelihood of occurring, the average outcome, and the probability of the outcome being
T4S Stored Procedure Generator v.1.1.0.4
T4S - Stored Procedure Generator is a very feature rich database tool. It lets user to generate stored procedures to speed up development. With proper use of each & every feature, user can generate stored procedures as per his/her requirement.
Decision Making Helper v.1.31
Decision Making Helper provides support in the decision making process enabling to take confident and structured decisions. To find the right decision will become a child's play without losing sight of the seriousness of the decision-making process.
Decision Trees v.4.3.8
Create decision trees to help you with your work. Learning is the capability to improve one's behaviour based on experience and represents an essential element of computational intelligence.
Belief and Decision Networks v.5.1.9
View and solve Bayesian Nets fast and easy. Bayesian Belief and Decision Networks help you solve Bayesian Nets. It has a robust variable elimination algorithm,
Delete Database Users stored procedure v.5.4
Stored procedure compatible with Microsoft SQL Server 2000 and 2005 that automatically deletes unnecessarily users from your database.
Decision Making Wheel v.1.0.0.0
The Decision Making Wheel is the best way to make decisions when you don't want to, or when it is hard to choose from similar options.
Decision Explorer v.3. 3. 2001
Decision Explorer is a Windows-based ideas mapping tool. It is straightforward and easy to use.
Procedure Charter Professional v.5 80
Procedure Charter Professional Includes all the great features of Procedure Charter Standard and has additional functionality such as spellchecking, security and its own report designer. Procedure Charter Professional has been designed for the