StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Christoph Wintersteiger

Rating
1497.94 (3,911,093rd)

Reputation
6,994 (22,962nd)

Page: 1 ... 5 6 7

Title	Δ
In Z3py, why does simplify turn division into an uninterpreted func...	0.00
How to convert a variable's value to an int in a model?	0.00
Z3: Convert between FP and BitVector?	0.00
Why does RatNum not have a ToDecimal() method?	0.00
Microsoft Z3 naming assertions	0.00
Z3: Function Expansion and Encoding in QBVF	0.00
Z3: Floating point FMA semantics	+4.18
Z3 FP logic: produces unexpected model	0.00
Floating point literals	0.00
What is the difference between Model::ConstInterp and Model::Eval?	0.00
QF_FPA? Does Z3 support IEEE-754 arithmetic?	0.00
Again: Installing Z3 + Python on Windows	-4.14
getting new unsat cores	0.00
Segmentation Fault in Java using Z3	0.00
Integrating Java with Z3	0.00
Obtain interpretations of functions and constants from a model	0.00
Memory usage of z3	0.00
Using clang-2.9 with Os X 10.5.8 for compiling Z3	0.00
Why is clang not working in Mac Os X 10.5.8 (Leopard) for compiling...	+0.08
Installing Z3 + Python on Windows	0.00
Parse SMT-LIB2 String using Declarations in Existing Context	0.00
z3 MaxSAT example error	0.00
parse error when i use Z3_parse_smtlib2_file to parse example files...	0.00
How to read smtlib2 strings using Z3 C++ api?	0.00
Had Z3 used the user provided patterns for the smtComp results in t...	0.00
Is z3 4.0 C# API can only targeted .net 4.0 framework?	0.00
Using Z3Py locally	-3.76
An error appears when running Z3 in C#	-3.30
Z3 .NET API for existence quantifier	0.00
Use of term rewriting in decision procedures for bit-vector arithme...	-4.00
Propositional logic	0.00
Referencing a 64bit dll in the web app of a WCF RIA Services app ho...	0.00
Using Microsoft Z3 in a Silverlight app?	+3.68