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

Resolve Support Tickets 2x Faster with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for 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 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
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
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