SMT-RAT Files

Satisfiability-Modulo-Theories Real Algebra Toolkit

Brought to you by: flocor, sjunges, uloup

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
smtrat-0.2	2012-03-12		0
smtrat-0.1	2012-03-09		0
smtrat-0.0	2012-02-22		0
Totals: 3 Items			0

You Might Also Like

The #1 Embedded Analytics Solution for SaaS Teams.

Qrvey saves engineering teams time and money with a turnkey multi-tenant solution connecting your data warehouse to your SaaS application.

Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.

Try Developer Playground

Bright Data - All in One Platform for Proxies and Web Scraping

Say goodbye to blocks, restrictions, and CAPTCHAs

Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.

Get Started

Recommended Projects

ABsolver
A constraint solver framework.
GiNaCRA
GiNaCRA is a C++ library providing data structures and algorithms for Real Algebraic computations. GiNaCRA is based on the efficient C++ library GiNaC including support for symbolic manipulations on polynomials.
VLC media player
The best free media player for video and DVDs