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 2 3 4 5 6 ... 14

Title	Δ
What conversion operators are available in Z3 and CVC4 for Bit-Vect...	0.00
Backtraking with list Monad in Haskell	-1.36
avoid using sudo to use z3++.h as a lib	+0.47
Sum() on floating point values in Z3	0.00
Find the minimum number of elements in the set using z3py	+1.76
z3py solver.check() goes from "sat" to "unknown"...	0.00
Dependencies between different solver runs with z3py	0.00
Floor and Ceiling Function implementation in Z3	0.00
About python's rounding error and floating-point numbers	-0.34
SAT is NP complete, so why don't we have k-SAT is NP complete f...	0.00
Defining Functions in Z3Py that return true for some inputs and fal...	+0.48
How to change an old z3::expr(Oldvec) to a new z3::expr(Vec)?	0.00
Explanation of conversion of CNF to imperative normal form in 2-SAT...	0.00
Logic equivalence of sub-signals of logically equivalent signals	0.00
Convert integer to IEEE floating point?	0.00
Get Numerical Value in Bit Vector in Z3 in C++	-0.59
Z3 Solver Java API: Implementing Modulo Operation for RealExpr	0.00
Z3 Solver Java API: Unexpected behaviour	0.00
Z3 constants and python 'in' operator	-1.23
Why is Z3 optimization in Java segfaulting?	+0.48
Modeling a small programming language and analysis in SMT-LIB using...	+0.48
z3py: restricting solution to a set of values	0.00
bitwise operations with Z3 in python	0.00
Z3: How to acces variables from model() without using hard-coded in...	0.00
How can i avoid getting result 0 from exp() for very small float nu...	+0.48
The sum of NaNs: How is the underlying bit pattern calculated?	0.00
What's an inductive invariant for this piece of code?	+1.89
Solve for expression variables using Z3 in C++	0.00
CVC4 cannot open file in SMT2 format	0.00
Timeout for Z3 Optimize	+1.87
Dart Convert IEEE-11073 32-bit FLOAT to a simple double	0.00
Z3 timing variability	0.00
Casting Z3 Real into float	0.00
BitVecVal not found as an attribute to z3	+0.49
How to simplify Or(Not(y), And(y, Not(x))) to Or(Not(y), Not(x)) wi...	+0.13
How to generate a model for my code using boolector?	0.00
All-Different-Except Constraint in Z3	0.00
Unknown result in z3 python for Int type	0.00
Replicate a decompiled C code with Z3 library	0.00
How does Z3 convert expr to SMT?	0.00
Do you know how to set "weak" initial values to each of z...	0.00
Atleast K out of N encoding in SAT solvers	0.00
How do I evaluate this equation in z3 for python	+0.47
Z3: implementing "Model Checking Using SMT and Theory of Lists...	0.00
Floating point VS regular decimal binary representation	0.00
Python and Z3: integers and floating, how to manage them in the cor...	+1.97
Why Single Epsilon value is 1.401298E-45	-1.11
Problem defining the insert method of a list in z3	0.00
Can you limit a real variable between two bounds?	0.00
z3 planning problems and blocks world	0.00