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 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,
Open Decision Maker v.1.0.1
Decision making made easy. The Open Decision Makes enables you to find the best alternative for a defined goal with the AHP (Analytic Hierarchy Process) method.The Open Decision Maker (ODM) is designed to support a user in a decision making process.
POP (Parameter Optimization Procedure) v.1.0
POP (Parameter Optimization Procedure) optimize substitution matrix choice and gap parameters for sequence
Barebone Decision-Tree Framework v.1.0
Highly reusable and extensible Decision-Tree (Max-Gain) framework comprising of comprehensive input-processing and display functionality.
Decision Tree Jungle v.0.8
DTreeJungle provides educational applets to teach the concepts of decision trees for regular pattern recognition.
Java Decision Diagram Libraries v.104
This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy.
ERA Pre-Auction Decision Analysis Tool v.4 2
Electronic Reverse Auctions (eRAs) can be an effective market making and price collection mechanism. Unfortunately, the more popular they become, the more frequent we hear the horror stories of auctions gone wrong.