Tarski

Tarski: A toolkit for the Theory of Equality

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Tarski

Tarski Web Site

Other Useful Business Software

Earn up to 16% annual interest with Nexo.

Let your crypto work for you

Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of Tarski!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Electronic Design Automation (EDA) Software

Registered

2007-10-09

Similar Business Software

Altium Develop

Altium Develop is a multidisciplinary product creation platform that breaks down silos and empowers teams to design collaboratively without limits. Built on Altium Designer and Altium 365, it unifies electrical, mechanical, software, sourcing, and manufacturing teams in a shared environment....

See Software
OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software
EasyEDA

More than 1 million real-time updated components have been created, letting you focus on the design, and you can create or import your own common libraries. Benefit from China’s leading electronic components distributor - LCSC , EasyEDA supports direct links to more than 200,000 real-time,...

See Software
DipTrace

PCB Layout is a high-level engineering tool for board design featuring smart manual routing of high-speed and differential signals, shape-based autorouter, advanced verification, and wide import/export capabilities. Design requirements are defined by net classes, class-to-class rules, and...

See Software
Allegro X Design Platform

The Cadence Allegro X Design Platform is the ultimate solution for navigating modern electronic complexities that help support your diverse PCB design needs. As a full-stack engineering platform, it provides a scalable and highly integrated environment for multi-board electronic system design....

See Software
CircuitMaker

CircuitMaker is not just a free EDA software tool from Altium, it’s also a community of creative people and design content, working together to invent circuits and electronics products for a better future. For turning great ideas into real products, you need design tools that won’t limit your...

See Software