General Problem Solver

Koalog Constraint Solver is a powerful constraint solver written in Java. Koalog Constraint Solver project provides cutting-edge technology for solving satisfaction and optimization problems, including scheduling: - scheduling: Koalog Constraint Solver provides a specific API for disjunctive...

Games::Mastermind::Solver::BruteForce is a Master Mind puzzle solver. SYNOPSIS # See Games::Mastermind::Solver Games::Mastermind::Solver::BruteForce uses the classical brute-force algorithm for solving Master Mind puzzles. METHODS remaining $number = $player->remaining; The number...

Games::Mastermind::Solver is a Master Mind puzzle solver. SYNOPSIS # a trivial Mastermind solver use Games::Mastermind; use Games::Mastermind::Solver::BruteForce; my $player = Games::Mastermind::Solver::BruteForce ->new( Games::Mastermind->new ); my $try; print join( ,...


Platforms: *nix

MIBA Consulting General System Library is a collection of cross-platform C++ class libraries. Provides thread, IPC, file, network, SNMP (net-snmp) and Database (MySQL) interfaces. Comes with the usual array of utility classes - smart pointers, singletons, registries, serialization etc....


Platforms: *nix

Freecell Solver is a program that automatically solves games of Freecell and similar Solitaire variants such as Eight Off, Forecell and Seahaven Towers, as well as Simple Simon boards. Freecell Solver is free software distributed under the public domain. Freecell Solver is written in ANSI C and...


Platforms: *nix

General Package/Module Interface (GPMI) is a lightweight library that assists with modularizing applications. It includes prewritten script interpreter modules in addition to timers, events, and package dependencies. Whats New in This Release: - This version features many bugfixes and...


Platforms: *nix

Automagical Sudoku Solver project is an attempt to solve Sudoku puzzles using a computer. It can solve rather tough puzzles, but not all of them. Installation: The source code should compile flawlessly using the make utility. Then, simply run "ass < foo", where foo is a sudoku puzzle in text...


Platforms: *nix

Linear Program Solver is a small, simple, very easy to use tool specially designed to help you solve linear programming models. This tool offers: informative solving reports, extended sensitivity analysis, mixed integer models engine. LiPS supports MPS format and simple LP format (like...


Platforms: Windows

Point Mass Balistics Solver was designed as a simple and easy-to-use piece of software that allows you to perform various ballistics calculations. Point Mass Balistics Solver was created in Java and can run on multiple platforms. Now you can make use of this tool to calculate a bullet's velocity.


Platforms: Windows

General SQL Parser Java version (used from simple JSP web application to large J2EE project) is valuable because it provides an in-depth and detailed analysis of SQL scripts for various databases, including Oracle, SQL Server, DB2, MySQL,Teradata and Access. Without a complete query parser like...


Platforms: Windows

General SQL Parser COM version is valuable because it provides an in-depth and detailed analysis of SQL scripts for various databases, including Oracle, SQL Server, DB2, MySQL and Access. Without a complete query parser like this, such a task will be impossible. You now have the chance to fully...


Platforms: Windows

General SQL Parser VCL version is valuable because it provides an in-depth and detailed analysis of SQL scripts for various databases, including Oracle, SQL Server, DB2, MySQL and Access. Without a complete query parser like this, such a task will be impossible. You now have the chance to fully...


Platforms: Windows

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.


Platforms: Windows, Mac, Linux

Frontline Systems developed the original Solver for Excel on both Macintosh and Windows. For many years, we've offered Solver upgrades for Windows users, that have gotten more and more powerful over time -- but we haven't been active on the Mac. We're now applying more development resources to...


Platforms: Mac

This script allows you to run a linear equations solver using eval and built-in complex numbers.One could add one more line to insert '*' where needed, i.e. "100x" -> "100*x", add some input validation, in particular check whether the equation is actually linear and not quadratic or cubic, and...


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This solver computes the internal loads on each member of two dimensional isostatic truss structures by using the method of joints.Since the Theory of Deformations is not considered in this program, displacements of the structures are not computed. All assumptions of Rational Mechanics are made...


Platforms: Matlab

The Jonker-Volgenant algorithm is much faster than the famous Hungarian algorithm for the Linear Assignment Problem (LAP). This Matlab implementation is modified from the original C++ code made by Roy Jonker, one of the inventors of the algorithm. It is about 10 times faster than the munkres code...


Platforms: Matlab

Multi-Knapsack solver by two stochastic solvers : i) by Cross-Entropy Method and ii) by Botev-Kroese Method for the following problemmax S(X)=(p^{t}X) st. WX


Platforms: Matlab

Solves the mixed integer linear problem:min c'*xs.t. A*x


Platforms: Matlab

The knapsack problem or rucksack problem is a problem in combinatorial optimization: Given a set of items, each with a weight and a value, determine the count of each item to include in a collection so that the total weight is less than or equal to a given limit and the total value is as large as...


Platforms: Matlab