Projects tagged ‘solver’

Math.NET

A mathematical open source library written in C#/.Net, aiming to provide a self contained clean framework for symbolic algebraic and numerical / scientific computations.

Metrics updated 13 Oct 08

Scilab

(from the scilab homepage...) Scilab is a scientific software package for numerical computations providing a powerful open computing environment for engineering and scientific applications. Scilab is an open source software. Since 1994 it has ... [More] been distributed freely along with the source code via the Internet. It is currently used in educational and industrial environments around the world. Scilab is now the responsibility of the Scilab Consortium, launched in May 2003. There are currently 25 members in Scilab Consortium. [Less]

Metrics updated 11 Oct 08

MUSoSo

MUSoSo is a Java based Sudoku game which includes a solver & generator. As a sudoku solver it tries to simulate the way human players solve sudokus. Several selectable heuristic methods are provided for this purpose. Brute force solving is also ... [More] supported for completeness. As a sudoku generator it tries to create sudoku problems which don't require "trial and error" methods to be solved. [Less]

ASCEND

ASCEND is an interactive environment for modeling, debugging, and solving large systems of nonlinear algebraic or differential equations. Its interactive design allows users to inspect and solve very difficult nonlinear systems. It includes plotting abilities and is scriptable.

Metrics updated 03 Sep 07

sat-micro-hs

A complete (in the logical sense) SAT solver with non-chronological backtracking. This is a Haskell implementation of (most of) the minimal OCaml solver described in the paper SAT-MICRO: petit mais costaud! by Sylvain Conchon, Johannes Kanig, and Stephane Lescuyer

SimpleNumericalLibrary

A simple matrix and vector library. It contain basic matrix and vector operations, linear and non-linear system solvers, gauss integrator, and others

Metrics updated 11 Oct 08

Yet another simple|stupid Sudoku Solver

YasSS is a command line Sudoku solver and generator with some additional features: Test if a Sudoku has a uniq solution, number of solutions, canonical form, minimize a given Sudoku, SVG export. Additionally it has a ncurses interface for playing Sudoku. YasSS is written in C++ and released under a Perl style License (Artistic/GPL)

sudokusolverpsp

======================================================== README Sudoku Solver ITASudoku Solver è un port del programma originariamente sviluppato per O.S. Windows da Claudio Mura sotto licenza GNU. Lo scopo principale di questo homebrew è ... [More] quello di risolvere il famoso gioco di logica giapponese "Sudoku", compilando manualmente la griglia utilizzando il d-pad della Playstation. L'homebrew si divide in due modalità: La prima modalità prevede la risoluzione della griglia partendo da un file testuale "schema.txt", in esso i valori dello schema dovranno comparire tutti di seguito, oppure potranno essere separati da spazi e a capo; la casella vuota dovrà essere indicata con lo '0'. L'ultima modalità consiste nell'inserire, nella griglia disegnata, tutti i valori dello schema, inserendo uno '0' in corrispondenza delle caselle vuote ======================================================== README Sudoku Solver ENGSudoku solver is a port of a software originally developed for windows by Claudio Mura under GNU License. The main purpose of this homebrew is to resolve a logical japanese game called sudoku, in order to do this you have to compile the grid using PSP D-pad. The homebrew is composed of 2 play modes: In the first mode you have to solve the grid starting by a text file called "schema.txt", this file will contain sequentially all scheme's values, or by other chance, the values can be separated by a space and carriage return characters an empty box must be declared with a "0" character; In the second mode you've to insert in the grid all the values from scheme, inserting a "0" character in empty boxes. ======================================================== Creditsgfx: bigboss aka Luca Barbàra (bagnara calabra) code: bigboss - Claudio Mura For questions, suggestions or if you want to report a bug write to : h4xbyt3@email.it / janiliimatainen@tiscali.it WWW.PSP-ITA.COM Screenshots:http://picasaweb.google.com/bigbossLTE/SudokuSolver Download:http://sudokusolverpsp.googlecode.com/files/sudoku_solver.tar.bz2 Enjoy ^^ [Less]

csisat

CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic ... [More] part with the efficiency of a SAT solver to reason about the boolean structure. CSIsat Project Home PagePublication and DocumentationTool paper: Dirk Beyer, Damien Zufferey, and Rupak Majumdar. CSIsat: A Tool for LA+EUF Interpolation. Proc. CAV'08, LNCS 5123, pages 304-308, Springer-Verlag, 2008. API and source code documentation Tutorial coming soon. DownloadsDownload list Problem ReportsIssue Tracker [Less]

Metrics updated 11 Oct 08

andrews-deal

DealIntroductionDeal is a programmable and highly extensible bridge hand generator. It has many useful built-in evaluators. Deal uses the Tcl programming language for extensibility. Deal is a command line tool, it does not have a graphical ... [More] user interface (GUI.) External LinksDeal Home Page Deal Release Blog - A place for announcements of the latest release of Deal and other Deal news Deal Release Blog Feed - so you can get the latest Deal news via your news reader Bo Haglund's Home Page - home of DDS, the double-dummy solver used in Deal. Tcl Developer Site Deal on Google CodeI've just imported my CVS tree to Google Code, and hope to use Google Code from now on for my source control. Things to do while here: Browse the Source Code Check Out the Source Code Submit a Bug/Issue/Feature Request Browse the Issues List Browse the Wiki [Less]

Metrics updated 09 Oct 08