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 ... 5 6 7 8 9
Title Δ
t>=1 or t>=2 => t>=1 0.00
how to eliminate constraint in Z3 0.00
What is INST_GEN in z3 0.00
How to access vars in theory arithmetic in the user theory plug-ins? 0.00
Z3 C API manage Z3_VAR_AST 0.00
Efficiency of constraint strengthening in SMT solvers 0.00
how to define-fun using C# API 0.00
Using Z3Py locally +0.47
Symbolic variables in z3 0.00
the min function for integers in Z3 0.00
z3 produces unknown for assertions without quantifiers +2.28
Asserting definition from z3 model yields unsat 0.00
Previous version of Z3 for linux 0.00
Different ways of axiomatising a contains-function for Z3 lists 0.00
Z3 4.0: get complete model 0.00
Microsoft Z3: Convert expressions to specific variables 0.00
Length function for generic lists 0.00
Satisfying Models under Tseitin Encoding 0.00
Create an array with fixed size and initialize it 0.00
Modeling array assignment in Z3 0.00
Convert formula to CNF 0.00
Z3 4.0 Extra Output in Model 0.00
Z3 real arithmetic and statistics 0.00
is the theory of list decidable? 0.00
Z3 4.0 Push and Pop In Solver 0.00
Z3 Timeout with Solver 0.00
Z3 C API Changing Timeout at Runtime 0.00
Model-based Quantifier Instantiation and the St1 fragment of many-s... 0.00
Create a long disjunction using the C++ api of Z3? 0.00
Z3 with string expressions 0.00
Model-based Quantifier Instantiation and the Stratified Sorts Fragm... 0.00
Issues with utilizing Z3 for MAX-SAT 0.00
Non-linear arithmetic and uninterpreted functions 0.00
Evaluation of a logical formula at many values in Z3 0.00
Definition of sort Seq 0.00
cross product in z3 +3.88
Using axioms for deductions in z3 0.00
function declaration in z3 -0.13
Does Z3 give the minimal unsatisfiable core up to now? 0.00
Why does Z3 report different query statuses at web-page and locally... -4.22
Different results between z3 binary and z3 api 0.00
Quantifier Elimination - More questions 0.00
Equivalent Quantifier Free Formulas +3.90
Why does a query result changes if comment an intermediate `(check-... 0.00
Z3 Python API - when will it be available 0.00
algebraic reals: does z3 do rounding when pretty printing? 0.00
Rewriting of Formulas 0.00
how to compile sample code from Z3 under linux -0.13
strange Z3 model value 0.00
How to define a function in SMT 2.0 which returns the minimal value... 0.00