Search Results for "open solver" - Page 3

MUSoSu - Marios Sudoku, is a sudoku solver/ generator written in Java. As a solver, it emphasizes in solving sudokus in a human-like manner. As a generator it generates sudoku problems that do not need trial & error methods to solve.

JASPWrapper is a potential "universal" java wrapper for ASP (answer set programming) inferential engine. It invokes native compiled solver and grounder by Java Virtual Machine and computes answers set analyzing and reifying output stream.

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.

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.

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

This program solves wordsearches given a wordsearch and a list of words to find.

CSameGame is a multiplatform Java game based on SameGame. It also supports various game styles, save and load games, highscore ladder, a solver and an helper

We provide here a tree constraint for the Choco (choco.sourceforge.net) Constraint Programming Solver.

This is an attempt on a Java Sudoku Solver. By starting with a very simple model, the project aims at building a solver which handles even the hardest sudoku's (the ones involving certain assumptions and multiple solve threads).

The Sudoku Solver is a project managed in Java programming language using open source choco (http://choco.sourceforge.net) constraint programming library which solves given Sudoku puzzles.

A simple cute sudoku puzzle solver implemented in JAVA.

A Sudoku game for your Java-enabled mobile phone. You can enter new Sudokus, send them to your friends via SMS and solve them. MEdoku has a simple solver built in.

rebuses editor and solver

JPowerFlow - a steady state electric power system power flow solver.

Konis is a graphical user interface for Optimal Task Control solver.

This is a java based SuDoKu game. This game will be featuring a very good problem generator, which will be categorrized according to difficulty level. It may also become a problem solver in the future.

Sudoku Solver is a solver for Sudoku puzzles.

The aim of ProjectSudoku is to create a Sudoku platform which allows developer to submit different kind of plugins (e.g puzzle generator, solver, output device) to make this game more enjoyable and free for everyone.

The ADFC code is a computational fluid dynamics (CFD) C++ solver for incompressible viscous flow over 2D and 3D geometries. It uses finite element and the characteristic method on unstructured meshes to solve Navier-Stokes equations.

A Java project to solve the Sudoku puzzles (see http://www.sudoku.com) that appear daily in most newspapers. The solver applet, which explains exactly how it arrives at its solution, is hosted at http://act365.com/sudoku.

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...

A Multi-Platform java program that takes equations and finds multiple different things about them, such as derivatives, anti-derivatives, area between two equations, volume between two equations, as well as other algebra expressions.

Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.

jOptimum is a simple linear programming solver developed for educational purposes. Now, jOptimum is hosted by http://incubadora.fapesp.br/projects/joptimum

MathGenius is a graphical tool intended to simplify your work in mathematics. By now it includes a graphical function plotter, a mechanism (still in development) to derive functions, and an equation solver. An extension mechanism will be developed.