Sat Solver
Advertisement
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.
Advertisement
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.
Vocabulary Builder for SAT ACT GRE GMAT LSAT v.1.10.5.5
An appropriate & comprehensive word memorizer designed to help prepare for SAT,ACT,GRE, GMAT and LSAT.Preloaded with 2000+ words.A human voice recites each word with simplest possible meaning and an example sentence to help learning even better.
Crossword Solver v.1.0.0.1
Crossword Solver is a handy tool that allows you to solve many types of crosswords and puzzles created with the Crossword Compiler online applet, as well as XML puzzle files, '.puz' files.
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.
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 .
Sample SAT Essays v.1.0
Sample SAT Essays that can help you study for the SAT Essay. Sample sat essays helps you learn good sat essay form through modeling. This is one of the key ways to learn anything including sat essay writing.
Truth Table Solver v.1.1 Beta
Solve the truth table with this tool. Truth Table Solver is a software that solves the truth table and output all the possible minimized boolean expressions.It uses Quine-McCluskey algorithm (Tabulation method) for boolean minimization.
SAT Words College Vocabulary Software v.1.4
SAT Words College: This vocabulary software covers high-frequency SAT vocabulary words with engaging backgrounds and constant interactive learning situations.
Vocabulary for GRE ACT SAT AP CLEP GED v.1.3
The SAT Word Mage brings to you or your students a fun means of learning vocabulary!
Solver for Excel v.1.0
Frontline Systems developed the original Solver for Excel on both Macintosh and Windows.