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 2 3 4 5 6 7
Title Δ
Z3: how to convert an int sort to a boolean sort 0.00
Z3 Java API: when to dispose expressions / Z3 objects? 0.00
How do I encode bv-redand using the z3 Python API? 0.00
z3 OCaml bindings - toplevel 0.00
Maintenance of reference counting in Z3 0.00
How can I use Z3 SMT locally 0.00
Using Z3 QFNRA tactic with datatypes: interaction or inlining 0.00
Python eval printing an extra \n for a z3 expression 0.00
is it possible to model associative arrays in z3? 0.00
Using Z3 to return model with least value 0.00
Dynamic loading of libz3.dll -0.50
Cannot recognize char '!' while using topredicate in BAP 0.00
Guideline and/or Minimal Working Examples for Developing New Theory... 0.00
Craig Interpolation API -0.00
Z3 Solver : Stable version for Java API 0.00
Sources of Z3 version 3.2 0.00
About constraints on arrays in Z3 0.00
Why operators '/' and 'div' in Z3 give different re... 0.00
Multi-threaded Z3? 0.00
Z3_MEMOUT_FAIL assertion failure in Z3's C++ API solver check? 0.00
Checking syntactic equivalence of two constraints efficiently in Z3 +2.08
Unsat core generation with .NET Z3 API 0.00
How to extract an array of expr from an expr_vector 0.00
Performance about the check() in Z3 for Java +2.63
Z3 / c++ API for quantifiers 0.00
FMA: proof performance 0.00
Getting solver in SMT2 format 0.00
How to run Z3 using Xcode 0.00
strange behavior when checking sat Z3 0.00
What is the unit of memory usage in Z3 statistics? 0.00
Declaration of Arrays in Z3 0.00
Visual Studio 2013 error 0.00
Using functions, reals, and quantifiers in Z3 0.00
Why does 0 = 0.5? +0.21
Z3: moving expressions from OCaml to C/C++ 0.00
Z3 Maximize in C++ -2.47
Z3_parse_smtlib_string usage issues 0.00
running z3 on google app engine 0.00
Using Z3's configuration API 0.00
Z3Py: randomized results (phase-selection) not random? 0.00
Z3 randomness of generated model values 0.00
Import Z3 model value to C++ 0.00
My formula is in DNF, will z3 convert it into CNF? 0.00
Why does Z3 give no response on the following input? -0.25
Different results in Z3 with smt2 file and OCaml 0.00
use of sort in Z3 0.00
Include Z3 in a C++ project 0.00
Z3: Expressing Array equivalence 0.00
how to suppress simplification of formulas to True or False? 0.00
Unexpected result after calling Exists on substituted formula 0.00