StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Leonardo de Moura

Rating
1523.82 (25,453rd) 		Reputation
18,594 (7,475th)
Page: 1 ... 4 5 6 7 8 9
Title Δ
Empty model in z3 0.00
understanding the z3 model 0.00
Does Z3 support Real-to-Int conversions? 0.00
Equality for constants in Z3 SMT solver 0.00
Compiling z3 ocaml binding in linux 0.00
Is there a Haskell API to Z3? -0.45
Does Z3 take a longer time to give an unsat result compared to a sa... 0.00
Front end for a user theory plugin? 0.00
Z3/Python getting python values from model 0.00
z3python: converting string to expression 0.00
Returning unknown not sat/unsat with jsmtlib -0.06
About the array theory in Z3 0.00
ini-option CASE_SPLIT produces strange model 0.00
Z3 Performance with Non-Linear Arithmetic 0.00
Traversing Z3_ast tree in C/C++ 0.00
Goal Unsupported by Tactic 0.00
Hashing expressions in Z3Python 0.00
z3py: apply tactics on a solver 0.00
Z3 using goals and tactics 0.00
When will the Z3 parallel version be reactivated? 0.00
z3 const declaration 0.00
Need help understanding the equation 0.00
z3py: got an error when parsing small real numbers 0.00
Understanding the logical context 0.00
Bug? Changing order of assertions affects satisfiability +0.47
how to check if a const in z3 is a variable or a value? +0.48
Z3 raises invalid memory access with JNA -0.03
MaxSAT/MaxSMT examples 0.00
Minimum and maximum value of variable +0.47
TryFor in Z3 does not stop checking after the given timelimit 0.00
(Z3Py) any limitations in functions declaring? 0.00
(Z3Py) declaring function 0.00
(Z3Py) checking all solutions for equation 0.00
Reinitializing a real variable using Boolean If in Z3 Python API 0.00
Z3 code not running for specified number of iterations 0.00
Error in the z3 python code 0.00
How to use Implies and if boolean commands in z3 python API 0.00
Understanding the indexing of bound variables in Z3 0.00
eliminating "not "in the expression using z3 0.00
what's the difference between "simplify" and "ctx-so... 0.00
(error "tactic failed: operator not supported, apply simplifie... 0.00
how to eliminate "not" in expression using z3? 0.00
Referencing Z3 from a C# Application 0.00
Triggering problems in Z3 0.00
Z3 theory plug-in error 0.00
How to hide variable with Z3 0.00
how to convert z3 expression to infix expression? 0.00
How to convert a formula to Disjunctive Normal Form? 0.00
benchmarks in the UFBV category 0.00
Difference between Z3 and coq 0.00