Constraint Satisfaction Problem
Advertisement
Stochastic Local Search Based CSP Solver v.4.6.0
Stochastic Local Search Based CSP Solver use stochastic local search algorithms to solve constraint satisfaction problems. Constraint satisfaction problems (CSPs) are pervasive in AI problems.
Advertisement
Graph Searching v.4.5.0
Search is an important part of AI; many problems can be cast as the problem of finding a path in a graph. Graph Searching is a graph-searching tool, it is designed to help you learn about different search strategies.
Definite Clause Deduction v.4.2.8
Analyze deduction algorithms. Definite Clause Deduction demonstrate various deduction algorithms, from the SLD resolution used by Prolog to the user manually unifying clauses.
Arc Consistency Crossword Compiler v.0.1
Arc Consistency Crossword Compiler (arccc) uses constraint satisfaction algorithms to fill crossword grids given a wordlist.
FRODO: An Open-Source Framework for DCOP v.2.10.4
FRODO is a Java platform to solve Distributed Constraint Satisfaction Problems (DisCSPs) and Optimization Problems (DCOPs).
Ledas 2D Geometric Solver v.6.0
Ledas 2D Geometric Solver is a software engineered to support two-dimensional parametric sketching/drawing in CAD and computer graphics systems.
LEDAS 3D Geometric Solver v.5.0
It is commonly used as parametric engine for direct modeling of 3D geometry, assembly design, motion analysis, and other 3D geometric modeling applications.
Robot Control v.4.6.0
Robot simulation to help you with your studies. A robot is an intelligent agent that perceives, reasons, and acts in time in an environment. It acts to achieve its assigned goals and at the same time avoids getting into undesired states.
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,
Neural Networks v.4.3.7
Create neural networks fast and easy. Inspired by neurons and their connections in the brain, neural network is a representation used in machine learning. After running the back-propagation learning algorithm on a given set of examples,