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

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Start Free

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 collaborative electronics product development platform that connects requirements management, PCB design, engineering collaboration, supply chain visibility, and manufacturing workflows in a single environment. Built on Altium Designer®, Altium 365®, and Requirements...

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
DipTrace

DipTrace is professional EDA software for schematic capture and PCB layout by Novarm Ltd, used by over 30,000 engineers in 50+ countries in aerospace, defense, medical, and industrial electronics. The PCB editor features interactive push-and-shove editing: moving a component on a routed board...

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
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

Report inappropriate content