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 ... 4 5 6 7
Title Δ
which is more important, number of variables or subexpressions? 0.00
Interpret models returned by QF_FPABV logic +3.92
What is the benifits of incremental solving? 0.00
Does Z3 discard lemmas after pop() in incremental mode? 0.00
How to loop over array in Z3Py 0.00
Can we design inference rules about separation logic in Z3 and use... 0.00
Z3 Enumerating all satisfying assignments 0.00
Display declarations parsed from an SMT-LIB2 file 0.00
What will Z3 return when model_completion is set to false? 0.00
How to check whether z3::expr is assigned 0.00
Bit-vector value in decimal 0.00
Getting symbolic values of bit vectors in Z3 0.00
Z3 Java API documentation or tutorial 0.00
quantifying over expr_vector index 0.00
Z3 Substitution (Java) 0.00
Z3: Extract array interpretation 0.00
(set-option :macro-finder true): does not work in a theorem of grou... +0.24
exponent constraint is unknown in Z3 C API? 0.00
Statistics in Z3 0.00
One z3 context to solve many independent problems 0.00
Z3 :named supported in z3 api 0.00
compiling z3 4.1 on OS X to use Boogie 0.00
Z3 - arguments for check-sat-using 0.00
Values of a set in a model found by Z3 0.00
Converting different widths of floating-point numbers 0.00
Why it is slower to get query result from z3 java API then get from... 0.00
open source QBF SAT solver? 0.00
Read func interp of a z3 array from the z3 model 0.00
Substitution in Z3 java 0.00
Conversion of signed bit-vector expression to integer throws Access... 0.00
SMT-LIB Benchmarks 0.00
Mixing bitvectors and simple boolean variables 0.00
Converting z3 C++ API ast (or solver) objects to SMTLIB string 0.00
z3python: using math library 0.00
How to declare constants to use as bound variables in Z3_mk_forall_... 0.00
how to convert z3py expression to smtlib 2 format 0.00
z3 bitvector overflow checking from python? 0.00
I cannot compile Z3 using Visual C++ & gcc 0.00
Z3: an exception with int2bv 0.00
Is this expression really unsat? -2.12
How do you set number of cores in z3py 0.00
Unable to install z3 0.00
Errors when building Z3 unstable branch 0.00
Z3 and Eclipse IDE 0.00
Z3 Java API: FuncDecl and Expr 0.00
z3: Modeling Java two's complement overflow and underflow in z3 bit... 0.00
How to run smtLib file using Z3 on Ubuntu? 0.00
How to call Z3 properly from Java program? 0.00
obtain the integer from a model after s.get_model() +4.08
How use forall in bit-vector 0.00