A CDCL SAT solver with partial backtracking
Counts Satisfiable Solutions
Interval Calculator for Engineer
GMES is a free Python package for FDTD electromagnetic simulations.
A treecode-accelerated boundary integral Poisson-Boltzmann solver
Janet Sudoku - Java Android .NET Sudoku Generator & Solver library
OpenFOAM solver to simulate the deflagration-to-detonation transition
Start Your Own Captcha Solving Business Portal
Solver with Applications in Computer Network Systems Design
A TradeMaximizer-compatible math trade solution
Design and Display Happy Cube solutions
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
This Can Find Value of X Value(s) if a quadratic equation
A Python based command line math utility.
Fills a rectangle using given tetris shapes
there are 3 observers to every curve, each seeing the other 2
GSS engine
A FDTD solver for electromagnetic wave simulations on a GPU cluster
Solving Set Of Linear Equations with use of Gauss elimination method.