Chess Solver Software
Sudoku Solver Software
Solve Sudoku puzzles by entering the initial partially completed grid.
Chinese Chess Stoneman v.8.0
Master level and popular Chinese Chess Game software.the 10th Olympic Chinese Chess Software Match silver Medal award; Whoever you are, beginner or expert, you will have FUN and EXCITING playing with her. Play against computer or a friend; Huge Open Book; ...
Chinese Chess Giant
master level and popular Chinese Chess Game software.Support 2 and 4 CPU cores,faster up to 4 times than before. Whoever you are, beginner or expert, you will have FUN and EXCITING playing with her. Play against computer or a friend;Automatic playing ...
Personal Chess Trainer v.2.0.29
PCT is a chess training software, developed by GM Gilberto Milos, based on memorization of key concepts and positions, which is essential and the most powerful way to become a strong player.
Blending method with a software technology, it become dynamic ...
Chinese Chess Girl v.1.0.0.1
A small and funny Chinese Chess Game software. If you love chess and love beatiful girl, you must love it
-Your oppoents all are beatiful girls, can you beat them?
-Computer adjusts its level to suit you;
-Have multi choice to pick up one ...
Chess Position Trainer v.3 3
Chess Position Trainer is a state-of-the-art chess software with a focus on chess opening, training and repertoire management. What a mouthful. Chess Position Trainer is both free and priceless at the same time. More simply, Chess Position Trainer is ...
Qianhong v.3. 5. 2001
Freeware Chinese Chess game for Windows.
Although the built-in AI is weak, this game allows separate AI engines to be 'plugged in'. This lets you combine stronger AI engines with some of this program's nicer features: stylish graphics; a simple, ...
PosBase v.1.0.4
PosBase - Positional chess database
Quickly find all the moves made in a position ...
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha ...
Z3-2.6 v.2 6
Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program ...
Ledas 2D Geometric Solver v.6.0
Ledas 2D Geometric Solver is a software engineered to support two-dimensional parametric sketching/drawing in CAD and computer graphics systems.Ledas 2D Geometric Solver supports creation and modification of the geometric models by means of constraints.
TK Solver Player v.5.0.136.1
TK Solver™ Player for Excel is free software for sharing packaged Excel applications and mathematical models created in TK Solver 5.0 Premium Edition. The Player is a collaborative math engine that can be downloaded from the UTS Web site similar to ...
Frontline Systems Solver Platform SDK v.10.0
Solver Platform SDK is a powerful, comprehensive Software Development Kit that enables you to develop and deploy custom applications using optimization and Monte Carlo simulation, with today's most popular platforms and languages: Microsoft COM and .NET, ...
Tetravex II Puzzle Solver
Tetravex II is a puzzle software specifically designed to solve the popular Eternity II TM puzzle. It can also be used to solve almost any other 16x16 edge matching puzzles. If you can solve Eternity II TM puzzle and be the first person on the planet ...
Calculus Problem Solver v.1.0
Solve any calculus differentiation problem with this calculus tutorial software.
Calculus differentiation and calculus tutorialCalculus Problem Solver can solve differentiation of any arbitrary equation and output the result. It can provide ...