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 ... 7

Title	Δ
z3 runtime: Calling constant directly VS passing as parameter	0.00
Optimize signed bitvectors in Z3	-1.84
How to define a function in Z3 java API?	0.00
What's the difference between interpreted and uninterpreted fun...	0.00
Does Google Scholar have an API available that we can use in our re...	0.00
Python and Z3: integers and floating, how to manage them in the cor...	-1.97
using previous/linked value in equation	+0.18
how I can to know how many values have a array in z3?	0.00
z3 Solver: Getting different results using "parseSMTLIB2String...	0.00
Z3Py: Creating a list of constants of an uninterpreted sort	0.00
Use z3Py to prove the equivalence/difference of ranges of two expre...	0.00
Z3 Getting FuncInterp as Null	0.00
Z3 Failing Even After Setting interactive-mode to True	0.00
Abstracting over groups of assertions in Z3/SMT-LIB	0.00
unsat cores from APIs	0.00
How get an example value from a z3 model for arrays?	-0.00
trying an example from rise4fun / z3 / tutorial / strategies	0.00
z3 bitvector operation simplified answer	+0.48
Use a C++ string in z3::expr?	0.00
z3Exception: file access error	0.00
Avoiding truncation of large model in Z3	+0.50
Exception in thread "main" java.lang.UnsatisfiedLinkError...	0.00
How to specify smt.string_solver=z3str3 through (Z3) API?	0.00
z3: How to identify conflicts in an unsat model?	0.00
Microsoft Z3 - How to use tactic combinators in the C# API	0.00
Need help in understading the counter example	-1.41
Extracting z3 query with context and solver	0.00
Z3 SMT Solver - How can I extract the value of a floating point num...	0.00
Extracting just one value from a z3 model	0.00
How to profile macro finder	0.00
How to get start using z3	0.00
How to perform sin cos operation in Microsoft Z3	0.00
Get result of tactics application as an expression in Z3	0.00
Counting number of variables in Z3 quantified formula	0.00
Understanding quantifier traversing in Z3	0.00
How to link Z3 build, Compiled for Java, from Eclipse Plugin?	0.00
Z3 Solver Z3_parse_smtlib2_file - Z3 C API push pop	0.00
Z3 Java API. Reading SMTLib2 and exending it	0.00
What is the relation between options `rlimit` and `timeout`?	0.00
Finding all Z3 satisfying models using C language not C++?	0.00
Microsoft Z3 import SMT file	0.00
Use different back-end solvers in Z3	-0.52
Is there an UnsignedIntSort in Z3?	-0.02
How to write 2 power n i.e. 2^n in Z3?	0.00
How do I enable proofs in the z3 c++ interface?	0.00
how to print output in hexadecimal format	0.00
Implementing bit-blasting for floating-point arithmetic in SMT	-0.50
Z3Py: Parsing expressions using eval or z3.parse_smt2_string	0.00
Quantifiers and Arrays in Z3	0.00
Adding clauses directly to the z3 solver	0.00