Search Results for "open solver"

Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.

Mcube is designed to solve 4x4x4 Rubiks Cubes (AKA, Rubiks Revenge, AKA, Master Cube). It is multiplatform, and has both console and graphical support.

VKAS uses genetic programming methods to find out the relationship among a set of independent and dependent variable. It is a problem solver software which uses evolutionary computing methods. When vkas is run, it creates a population of chromosomes at random. This population is then genetically modified and next population is generated. Each population is subjected to fitness calculation and if a suitable answer chromosome is found then vkas stops and the answer is printed. If a...

Berlin/Bavarian Elektrotrom Cargo Concept Solver (BECCS) is a submission to the 2008 Informaticup Contest. It's a Web Application that constructs a euclidian steiner tree.