Circuit Solver Software
Advertisement
TopSpice 8.30c v.1.0
TopSpice is an affordable integrated computer-aided circuit design software package offering advanced native mixed-mode mixed-signal analog/digital/behavioral simulation based on the industry standard SPICE simulator program. TopSpice is a true analog/digital/behavioral ...
Advertisement
TopJTAG Probe v.1. 7. 2004
A boundary-scan (JTAG) based simple logic analyzer and circuit debugging software. Provides 1) the ability to monitor pin values in real-time without interference with the normal operation of a working device and 2) to interactively set up pin values ...
AKNM Circuit Magic v.1.0.0.1
Circuit Magic is an electrical circuits simulation program specifically designed for students teaching basics electronics, electrical laws & circuit theory. Unlike many electronic circuit analyzers, Circuit Magic can analyze circuits like a man. Circuits ...
TINA v.9.0
TINA Design Suite is a powerful yet affordable circuit simulation and PCB design software package for analyzing, designing, and real time testing of analog, digital, VHDL, MCU, and mixed electronic circuits and their PCB layouts. You can also analyze ...
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 ...
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 ...
PAD-2-HTML v.1 5
This application can be used to easily generate HTML code displaying the information for a program having a Portable Application Description (PAD) file. There are many settings allowing the user to customize the resulting HTML. Its a very good application ...
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, ...
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 ...
Truth Table Solver v.1.1 Beta
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.It has an easy-to-use GUI and a command line mode.Truth ...
Circuit Aid v.1.6.1
Circuit Aid contains a resistor circuit analysis tool that can build up to an 18 resistor series-parallel circuit. This tool will display voltage, amperage, and power used by every resistor in the circuit by means of mesh analysis. In addition, the program ...