StackRating

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

Nuno Lopes

Rating
1470.80 (4,518,485th) 		Reputation
768 (192,694th)
Page: 1
Title Δ
Inconsistent satisfiability between Z3's "ctx-solver-simpl... 0.00
Tool/Language to check Satisfiability of First order logic? 0.00
Z3 (z3py) "elim_and" option of the "simplify()"... -3.63
Count unique values of consts 0.00
set timeout for Z3's ctx-solver-simplify tactic 0.00
Z3: check that variable is a prime number 0.00
Using Z3 wit Google Colaboratory +0.56
Using z3 where constraint depends on output of function -3.75
translating loop semantics to SMT-LIB -3.78
z3 bitvector operation simplified answer -3.82
subrange of Z3 integers 0.00
Z3 BitVec extraction using symbolic high and low -3.96
Expressing bitvectors with don't care in SMT 0.00
Retracting facts in Z3's datalog engine 0.00
Negation in z3 datalog for expressing optimality 0.00
Is it possible to get the equisatisfiable boolean formula of a QF_U... 0.00
What values can be represented with BitVecs in z3? 0.00
Defining bounded integers in z3 +4.09
undeclared identifiers when using nmake to build Z3 0.00
How does z3's 'smt_tactic' solve QF_BV formulas? 0.00
How to analyse z3 performance issues? 0.00
Understanding z3 bvsmod behavior with SSA -4.06
Z3Py example from checking beliefs in dynamic networks 0.00
Multiplication by constant in fewest adds and shifts 0.00
Updating z3 Variable or Linear Solving 0.00
Z3 benchmark Windows vs Linux 0.00
Error when building 64-bit Z3 on Windows 0.00
Setting logic for solver in Z3 (API) -3.89
Arithmetic over unsigned long integers in z3 0.00
Distributed Z3 and best hardware for each node 0.00
z3py: Why BitVecVal(5,3) is smaller than BitVecVal(8,3) 0.00
Am I using z3 :timeout correctly with C++ interface for Linux? 0.00
z3py: Can the switch of the orders of constraints affect the perfor... 0.00
Solver for recursive Horn clauses 0.00
Z3 in LLVM project, "error: exception handling disabled, use -... 0.00
Is there any function readily available for calculating logarithm t... -2.70
HORN Clause Z3 Documentation 0.00
Unsatisfiable formula ? maybe wrong syntax? 0.00
Unsatisfiable formula ? maybe wrong syntax? 0.00
Z3 on non-x86 architectures 0.00
Tuples without (declare-datatypes)? 0.00
Z3: Is a custom theory extension appropriate for my application? 0.00
SPIN: Visit statements infinitely often -4.18
Why is clang not working in Mac Os X 10.5.8 (Leopard) for compiling... -0.08