StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

alias

Rating
1531.30 (17,435th)

Reputation
8,170 (19,274th)

Page: 1 ... 9 10 11 12 13 14

Title	Δ
In Z3Py, prove returns no counterexample	0.00
Declare External Functions in z3py	0.00
using floating point arithmetic with Z3 C++ APIs	0.00
Z3: nonlinear arithmetic and quantifiers - wrong results?	0.00
str.suffix in z3 API is unknown	0.00
List "contains" function in Z3	0.00
Is it possible to query z3's Python API on whether a timeout oc...	0.00
Find possible values	0.00
SAT in presence of a propositional theory	0.00
z3 Optimize does not produce result where Solver produces one	0.00
Labeling constraints in Z3 Python API	0.00
Nonzero vector in quantifier	-1.85
Does Z3 gives the maximum value for summation	0.00
How can I change the standard behavior of z3 functions?	0.00
How to set up Z3 solver on Travis-CI machine	0.00
Z3: Hamming Distance between two bit vectors	+0.16
z3py BitVector mixed with integer operations	0.00
Can I replay a proof in Z3?	0.00
How to detect or prove the recurrence relations is periodic sequenc...	+0.16
List Nested Data Type Sum	+1.31
Encoding self-dependent relations in Z3	0.00
Finding the roots of a polynomial	+0.10
Getting Integer value from Instance in Z3	0.00
Defining algebraic datatypes with constraints in Z3	+0.02
z3py: equivalent to (get-objectives)	0.00
Why is `mfix` not total in `MaybeT`	-1.54
to_smt2() for Optimize class	0.00
How to use z3 BitVec or Int as an array index?	0.00
Running boolector binary	0.00
Z3 - how assumptions works	0.00
Why this z3 equation is failing?	0.00
optimization of non-linear objective functions using Z3	0.00
Asserting a value if none exist	0.00
Change Sort after defining a variable	0.00
z3 tutorial: why does this return UNSAT?	0.00
Optimizing a Multiplication and Division	0.00
Discrete time steps in Z3 / CVC4 / SMT-LIB	0.00
Maximizing minimum in z3	0.00
Best-effort (max\|min)imisation in Z3 optimisations	0.00
Equality vs. Bicondition in Z3	0.00
Rise4Fun.com is down. How else can I get documentation for Z3?	0.00
Need help in understading the counter example	+2.07
Z3 - Floating point arithmetic API function Z3_mk_fpa_to_ubv	0.00
Minimizing the Image of a function with an Optimizer	0.00
Z3: how to improve performance?	0.00
issuing multiple (check-sat) calls until it returns unsat	0.00
Change the type of a z3 bitvector operation	0.00
Why does Z3 not solve this simple script with arrays and quantifiers?	0.00
Printing an AST to show indentation	+0.53
z3 datatype matching without a quantifier	0.00