Chess Solver Software
Advertisement
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; ...
Advertisement
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 ...
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 ...
Chess Game Notation File Converter v.1.0
Chess games in electronic form (usually downloaded from Internet sites) are written in algebraic notation and in accordance with the PGN Standards (Pgn=Portable Game Notation). The chess games are thus given in files with the extension pgn, e.g. kasparov.
Captcha Breaker v.2.92
Captcha Breaker is an automated software to solve captchas. This revolutionary software works together with any third party web promotion software to effortlessly analyse and solve captchas for you. No need to type in captchas manually or pay captcha ...
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 ...
SpeedMaxPc v.4.1
SpeedMaxPc is a safe and trusted software application downloaded by more than 4 million users world-wide to optimize and repair common computer problems and errors. SpeedMaxPc quickly diagnoses missing files, corrupt entries, and invalid items ...
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.
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, ...
SA Chess v.1.1
The strong Xiangqi(Chinese Chess) Software, Strong strength as grandmaster;
Great move in middle phase, very smart in complicated situation;
Can reach over 20 depths on normal computer in a few seconds;
Support up ...