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 ... 12 13 14
Title Δ
How to get rid of solutions with -0.0 in SBV +4.09
A data structure for Logical Expressions in Haskell +0.22
Polymorphic Functions in SMTLIB2 / Z3 0.00
Why does 0 = 0.5? +4.09
Dynamically call get-value only when check-sat returns "sat&qu... +4.20
Interpret models returned by QF_FPABV logic -3.92
Is it possible to cast a bitvector of one bit into a boolean variab... +0.32
Haskell: binding to fast and simple SAT solver -3.10
Can we bound the precision of the real terms in Z3? 0.00
How to calculate logarithm base 2 to Bitvectors in Z3? 0.00
Check overflow with Z3 0.00
How to introduce the infinity in the Tropical Arithmetic using Z3 0.00
How would one compare two parse tree to find ambiguity in a Context... 0.00
z3py on MacOSX: cannot get a model -2.59
Using Z3Py online to prove that the derivative of x^2 is 2x -2.89
Z3: why this array theory usage returns Unsat? 0.00
Z3 returns unknown 0.00
Can I use declare-const to eliminate the forall universal quantifier? -2.62
Generating data for the run of all possible paths in the program -3.82
Get Terminal width Haskell -3.12
Is there a Haskell API to Z3? +4.20
Writing Constraints for At least one assignment from 1 to N to a se... +2.20
Can GHC warn if class instance is a loop? +3.10
Minimum and maximum value of variable -3.80
function declaration in z3 +0.13
list concat in z3 +0.00
Generic bitvector type of any length 0.00
cabal can't read bytestring cabal file, with ghc 7.4.1 +3.87
Z3, Hamiltonian Graph, Propositional Logic 0.00
Multiset Partition Using Linear Arithmetic and Z3 +0.23
Determine upper/lower bound for variables in an arbitrary propositi... -4.13
How to optimize a piece of code in Z3? (PI_NON_NESTED_ARITH_WEIGHT... -0.06