Back to Results
First PageMeta Content
Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Solver / Module / AMPL / Theoretical computer science / Applied mathematics / Mathematics


SMT-RAT Version[removed]Satisfiability-Modulo-Theories Real Arithmetic Toolbox Manual Florian Corzilius, Ulrich Loup, Sebastian Junges, and Erika Ábrahám
Add to Reading List

Document Date: 2012-02-28 12:54:49

Open Document

File Size: 1,39 MB

Share Result on Facebook

Facility

library GiNaCRA / library GiNaC / /

IndustryTerm

equation systems / /

OperatingSystem

Linux / /

Person

Manual Florian Corzilius / Ulrich Loup / Sebastian Junges / /

Position

Manager Strategy SAT solver / General / SMT solver Manager Strategy / Manager / Manager class / /

ProgrammingLanguage

C++ / /

Technology

GSM / Linux / GUI / /

URL

http /

SocialTag