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 ... 7 8 9
Title Δ
Performance issue with unsatisfiable models 0.00
Linux Version of Z3: Dependency On Old libgmp.so.3 0.00
Customize LIA quantifier elimination in Z3 0.00
Equivalent of define-fun in Z3 API 0.00
Is it possible to clone Z3_context? +4.05
Can someone explain to be what is going on here? existential univer... 0.00
Z3 naming let bindings in API 0.00
Detailed documentation of Z3 INI options 0.00
How to get "stronger" simplifications of conjunctions in... 0.00
Does Z3_ast reference counting count references outside Z3? 0.00
Z3: A better way to model? 0.00
How to declare a record such that one of its fields is a function 0.00
associativity of => and chainability of = 0.00
Support for AUFBV? 0.00
Call to `eval` times-out 0.00
Z3 QBVF questions 0.00
Obtaining models for problems with quantified boolean variables 0.00
Set-Logic in Z3 .NET API 0.00
Z3 statistics: what does time measure? 0.00
Declare symbols that remain valid outside their scope 0.00
What methods does Z3 use to solve quantifier-free bit-vector formul... 0.00
Z3: Extracting existential model-values 0.00
Assign value to a bitvector (SMTLIB2, Z3)? 0.00
Can Z3 be used to reason about substrings? 0.00
Unsat response unless PROOF_MODE option used 0.00
Does Z3 Support Craig Interpolation 0.00
Labeling Z3 scopes and popping back to a specific one 0.00
How can I restrict the domain of a sort in Z3 to a single value? 0.00
Has anyone tried proving Z3 with Z3 itself? 0.00
Can Z3 check the satisfiability of formulas that contain recursive... 0.00
Which statistics indicate an efficient run of Z3? 0.00
Using theorem provers to find attacks 0.00
Design by Contract in C for use in Automated Theorem Proving 0.00