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 2 3 4 5 ... 9
Title Δ
Set membership relation in z3 0.00
Does Z3 v4.3+ support quantifier elimination for NON-linear arithme... 0.00
Two dimensional Array in Z3 solver 0.00
Z3: can Z3 tells me if arithmetic operations return concrete value? 0.00
Z3: wrong result when proving equivalence of two formulas. Z3 error? 0.00
Z3: How to select 4 bytes from array of 8-bits? 0.00
telling the difference between slack variables and original variabl... 0.00
Z3 -smt2 -in: Get Z3 version 0.00
Narrowing scopes of quantifiers in Z3 0.00
Adjusting `simplify` tactic in Z3 0.00
Keep getting "unknown" result with :pattern usage in SMTL... -0.16
bv-enable-int2bv-propagation option 0.00
Difference between macro and quantifier in Z3 0.00
for all quantifier in Z3 0.00
Randomness in Z3 Results 0.00
Macro to calculate maximum value 0.00
z3 install in Redhat platform 0.00
retrive the matched model in Z3py? 0.00
z3py installation 0.00
Z3 timing variation 0.00
Simplification of AC symbols in Z3: bvadd vs bvxor/bvor/etc 0.00
Using Z3Py With Python 3.3 0.00
Simplifying non-boolean expressions in Z3 assuming a set of axioms 0.00
What exactly are Bernie-Schonfinkel class of formulas? 0.00
a list of named terms from SMT-LIB v2 format of unsat core track 0.00
Member of a bitvector in Z3 0.00
Z3: OCaml support in Linux 0.00
Z3, solver: push an empty level on assertion-stack, as defined in s... 0.00
Z3 will not case split on hand-crafted data types 0.00
Install Z3 in Windows 0.00
Distinct Sets in Z3 0.00
contains for two sets in Z3 0.00
Wrapping entities from Z3 C API 0.00
max value in set z3 0.00
Can Z3 output "anything" for unconstrained values of UF? 0.00
Simplifying uninterpreted functions in Z3 0.00
Installing Z3 on Mac Os Mountain Lion 0.00
How can i assign (assert) values to functions in Z3py? 0.00
Substituting function symbols in z3 formulas 0.00
Segmentation fault in Z3 0.00
How to write axioms in Z3 Java API? 0.00
Quantifying Over Datatypes 0.00
Can Z3 handle sinusoidal and exponential functions 0.00
What is the correct way to handle quantified formulas with respect... 0.00
Using uninterpret function for log 0.00
Z3Py: Generating Abstract Formulas From A System Of Equations 0.00
Z3 Theorem Prover: Pythagorean Theorem (Non-Linear Artithmetic) 0.00
Calculating Absolute Value in Z3 0.00
How to use enumerated constants after calling of some tactic in Z3? +0.48
Can soft-constraints be implemented via named expressions? 0.00