Search Results for "parallel-sudoku-solver" - Page 53

A Java / J2ME implementation of the popular Freecell card game and the popular Sudoku game. We support MIDP enabled mobile phones, and plan to expand and implement other games for mobile phones in the future.

This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

This project aims to create a method able to determine the most frequent word phrases in a large source of text data (>5 Gb) using the computational power of multiple processors.

Sudoku Mania! A fully customizable sudoku game written in java. Create your own themes using Xml. 6 squares, 8 , 9, 16? No problem. Show numbers, letters, or even pictures. Print Sudokus to go and much more. Available for Cell Phones and PDA's too.

Adds a new Controller to JMeter, supporting the definition of probabilistic user behavior. Moreover, it enables the variation of the number of active parallel user sessions (threads) during test run to be specified by configurable mathematic formulae.

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

Parallel IBDWS is an upgrade from IBDWS that utilizes parallel processing. Also, the incorporation of DNA sequence data has been added since the last code release

Logtopus, a tool to automatically generate graphical representations of log files. An XML description supplies rules to build cross-references and to seperate parallel processes. An integrated IDE assists in the development of such descriptions.

Get to know the global village and other cultures, share your place. BW-Rox, the platform driving www.bewelcome.org and other social networks, aiming to bring people together in real life. Parallel use of contributed work by the developer in encouraged..

Software for tracking and quantitatively analyzing the locomotion of multiple C. elegans worms in parallel. Worm Tracker is written in MATLAB.

QuickMP (Quick Multi-Processing) is a simple cross-platform C++ API for generating parallel for loops in shared-memory programs, similar to OpenMP. It provides automatic scalable performance based on the number of available processors.

This project contains tools for benchmarking and analysis of performance characteristics of parallel programs and platforms, specifically addressing the effect of interference on applications.

Get Sudoku is the free portable interactive sudoku solver

yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.

ClusterIt is a collection of clustering tools to allow simple administration of groups of UNIX machines. It can also be used to facilitate parallel shell scripting, and compiling.

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

SAT Solver in plain C99 and the Scheme programming language.

Sudoku for your J2ME-enabled cell phone.

Do you have a Sudoku to solve? Or want to verify your solution? JSudokuSolver can do this for you! In contrast to other Sudoku solving tools, this program does so by using the same rules a human would. So you can improve your Sudoku solving skills.

Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.

Classic Sudoku game written in C/GTK+

phpSudoku is a small and fast script for a sudoku online-game on your website. It includes 200000 sudoku puzzles and ist very easy to integrate in every website and your existing webdesign. It requires PHP 4 or higher. There is no need of MySQL. The latest release of php Sudoku with 1.000.000 puzzles is hosted at https://github.com/msoftware/phpsudoku. On sourceforge.net you will only find php sudoku V 1.0.

Classic game solved with MinMax algorithm (full solution tree) and simple Heuristics. Specially for learning and teaching computer AI

Sudoku game UI with strategy support and many other visual help.

SImple SUdoku SOlver wants to be just that: a very simple sudoku generator and solver that is as simple and general as possible.