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 ... 5 6 7 8 9 ... 14

Title	Δ
How to improve the optimization speed of z3?	0.00
Z3 - mkInt() vs mkIntConst()	0.00
Z3Py solver from brute force script	0.00
Advice about how to make Z3 evaluate simple constraints faster	-0.08
Why doesn't Z3 BitVec object have runtime size info?	0.00
Z3 RegEx for Int*	0.00
How do I add these additional constraints to my retail product/shop...	0.00
Initial value for variables	0.00
How can I use z3 in SMT-LIB format in java/eclipse?	0.00
Tactics for z3 sequence problems	0.00
Floating point: is a / b - 1 > 0 if a > b	-0.93
How does one define z3 functions (namely recursive ones) on algebra...	-0.51
Horn clauses with multiplication in Z3	0.00
AUFBV logic theory: get value of the array in decimal based format...	0.00
Calculating a floating-point value to multiply an integer with to p...	-1.47
Reducing an integer set in z3 over addition	0.00
Does "0.00x <= 0.001 * x" always hold for double?	-1.16
Storing mechanisms in Z3 SMT solver	0.00
max element in Z3 Seq Int	0.00
Does a value x of type float exist for which x + 1 == x?	-0.84
Missing Bulk mode for adding Expressions to Z3 via Java-Wrapper	0.00
Existential qualifier in z3 solver produces counterintuitive result	0.00
Is there a maximum value size for variables?	0.00
Setting Z3 verbosity from the API	0.00
Print current logical context as an SMT-LIB file in Z3	0.00
I want to add a hammingWeight of BitVec to a solver,but something w...	0.00
Why not use a two's complement based floating-point?	+2.31
Save float16 max number in float32	-0.31
How to check the theorem that involves some trigonometry with Z3 pr...	0.00
Record fields in z3	0.00
How to add new constraint for existing declared function in z3 usin...	0.00
Z3 (z3py) "elim_and" option of the "simplify()"...	+0.45
Combining Tuples in SBV?	0.00
How to use the 'bit-blast' method to print the given formul...	0.00
Optimize() in z3py not finding optimal solutions	0.00
Simplify z3 bitvector expression, but avoid extract & concat	0.00
How to improve binary search based optimization in Z3py	0.00
Creating a variable width mask constraint in Z3	0.00
Represents fp16 minimum number in hex format	0.00
How to use 64 bit integers with boolector	0.00
Floating-point addition assembly algorithm	-1.30
Adding an array of floats produces weird sums adding forward vs. ba...	0.00
z3 smt example mini_ic3.py	0.00
How to Define a Sort in Z3 Java API?	0.00
Z3 Java API toString() Doesn't Print Unused Declarations	0.00
multiple constraints in z3py if conditional	0.00
Transitive Closure in Z3/Z3py	0.00
Tracing SAT constraints in Z3	0.00
Understanding the binary representation of a float	0.00
How to convert and z3 expression to string using cpp?	0.00