Engineering Sciences is a software dedicated to mechanical and electronic sciences. It allows you to simplify Boole's equation, and to change the base of any number.
A reactor solver which uses stochastic particle methods to model particle population balances. This code is developed by the CoMo group in the chemical engineering department at the university of Cambridge (como.cheng.cam.ac.uk).
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
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 Java application, attempts to solve Bubble Breaker (as found on Windows Mobile). Allows play, edit and solve for highest score. Exhaustive search (impractical for larger grids) and directed search using various fitness functions.
This is a development code for computer science research. It implements a solver for compressible gas dynamics. The code is distributed-memory parallel using MPI and data-parallel using the OpenCL framework.
Java library that implements linear algebra operations: matrix operations (addition, substraction, multiplication, transposing, determinant of matrix , inversion, rank of matrix); linear equations system solving.
this is a tiny application to solve the riddle of the geocache borkum auszeit http://www.geocaching.com/seek/cache_details.aspx?guid=217055c5-ba90-4ef2-a895-dbb0bf79fc7b later with a few more line of code i will analyze arbitray shapes, changing this
The openLBMflow is an fast fluid flow solver based on Lattice Boltzmann Method. Main future are 2D and 3D code, single and multiphase models, Output data in VTK format can be directly open in Paraview. Download Windows or Linux binary version now.
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 a FreeCell solitaire game solver written in the Java. It is fast and capable - it solves all of the first million Microsoft deals in about 4 hours - 99.99% of them in less than a second, and no deal takes more than 1 minute.
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.
The aim of the PL-PSF project is to create a generic domain-independent combinatorial problem solver. It uses a petri-nets based model to represent the problems and problem decomposition/abstraction with graph topology analysis to solve them.