Search Results for "open tax solver" - Page 3

Visual Studio project and solution files for building the MUltifrontal Massively Parallel Solver (http://graal.ens-lyon.fr/MUMPS/). WinMumps is a vc[x]proj/vfproj python based generator that allows to build Mumps (version 4.10.x) and its external dependencies (such as ptscotch, parmetis, pord) using the Microsoft C compiler and the Intel Fortran compiler. Templates for msvc10 (Visual Studio 2010), msvc8 (Visual Studio 2005), Intel Visual Fortran Compiler and Intel Composer-XE...

This is a Su-do-ku game solver and player. It generates a complete Sudoku.

A Simple console-based Sudoku Solver.

NOTE: Project has been delayed due to other tasks. Genetic Algorithms General Solver (GAGENES) is a C++ implementation of the genetic algorithm concept.

A branch-and-prune method to find all solutions to systems of nonlinear equations. The number of variables must equal the number of equations. The variables must have proper lower and upper bounds. The solver has an interface to the AMPL environment.

The SBML ODE Solver is a command-line tool and programming library (ISO/ANSI C) for construction and numerical integration of an ODE system, derived from an SBML based description of a biochemical reaction network. Development has moved to https://github.com/raim/SBML_odeSolver . Please download the latest version from there!

A simple command line tool for solving the triangular peg solitaire game, like the one at Cracker Barrel. Also has a few other features.

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.

This is an intelligent Sudoku solver in c++. It is intlligent, because it uses several logical deduction methods, just like a person, before resorting to guessing. I was trying to teach my kids Sudoku, and taught a computer as proof of concept.

This project an efficient method of solving a scrabble board.

Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.

C++ library for calculating the light propagation through large and very small structures (sub wavelength). The used method is the Fourier Modal Method. It can be solve one and two dimensional dielectric structures such as gratings, waveguides etc.

MicroPather is a path finder and A* solver (astar or a-star) written in platform independent C++ that can be easily integrated into existing code. MicroPather focuses on being a path finding engine for video games but is a generic A* solver.

AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.

This is an implementation of Donald Knuth's Algorithm X ("dancing links"). This is primarily a sudoku generator and solver, though it can be used to solve other exact cover problems.

Crazy Turtle puzzle game solver utility. Other names: CRAZY TURTLE / LE JEU FOU DE LA TORTUE / NAUGHTY TURTLES / ŠAŠAVE KORNJAČE / NAGAJIVE ŽELVICE / SASAVE KORNJACE

ktsolver - Knight's Tour problem solver. Finds quickly a lot of solutions of the Knight's Tours problem.

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.

Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.

Given a placement of pieces on a chessboard, find the move which forces checkmate as rapidly as possible.

MoneyJar is a Java library to help with implementations for demanding financial applications. This library simplifies money management, rounding, currency conversion, tax calculation (tax-on-tax, multiple tax) and invoice management. Highly configurable.

Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.

malkriz is solver for griddlers (japanese puzzle) written as simple portable classes in c++. You'll find here complete programs using it, written for MSVC6, Qt and cgi. Web version (in slovak language): http://frix.fri.utc.sk/~johny/mkfrm.php

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

A Fast MAC based 3D Free surface fuid solver. Capable also of simulating viscoelastic fluids.Includes also wave equation solver for simulating shallow water phenomena.