StackRating

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

Nikolaj Bjorner

Rating
1520.42 (31,060th) 		Reputation
7,321 (21,820th)
Page: 1 ... 5 6 7
Title Δ
Incorrect calculations in Z3 for sub comma values of Real numbers 0.00
Optimize quantifiers and for in Z3py 0.00
Solving a simple TSP using Z3 0.00
How to compute with Octonion numbers in Z3 0.00
Z3 4.3.1 C-API parse_smtlib2_string: Where to get declarations from? 0.00
Arrays and Datatypes in Z3py 0.00
How to get a list of all available configuration settings for a Z3... 0.00
Z3: Is it possible to sum up a BitVec and a Real? -2.77
Some proofs of validity using Z3Py online and a strategy proposed b... 0.00
Z3Py is not able to make certain proof? 0.00
(Z3Py) Concat, quantifiers and bit-vectors 0.00
strange output using ctx-simplify tactic 0.00
z3 tactics are not available via online interface 0.00
Quantifier elimination for enumeration types in Z3 0.00
missing modification methods on C++ APIs -4.00
missing modification methods on C++ APIs +4.00
Counter Loops in Transition Systems - Z3 0.00
Strange results with quantified formula 0.00
How to print a Z3 Set object? 0.00
check; get_model; check causes segfault in Z3 C API 0.00
.Net API for accessing MuZ 0.00
Python equivalent of 7th parameter of Z3_API Z3_benchmark_to_smtlib... 0.00
Simplify formula using z3 0.00
How to use enumerated constants after calling of some tactic in Z3? -3.85
Modify variable in Z3 python 0.00
z3 and muZ for computing program invariants 0.00
eval returns a let statement 0.00
Z3 4.3: get complete model -2.59
Model for QF_AUFBV Query Missing the Array 0.00
XOR Clauses for Z3 SAT Solver 0.00
Encoding let-expressions in Z3 0.00
Is this file compliant with the SMT2.0 standard? 0.00
Check if a formula is a term in Z3Py +0.08
Asymmetric behavior in ctx-solver-simplify +4.13
Z3 with Craig interpolation (iz3) 0.00
Z3 array: why Select() does not return value saved by Store()? 0.00
can smt/z3 be used for optimazation 0.00
Is it possible to access the name associated with the de-Bruijn ind... 0.00
Explanations in Fixedpoints Z3 0.00
Fixedpoints examples in z3-4.0 do not work because of missing buddy... 0.00
Migrating from Z3 Version 3.2 to Version 4.0 +3.94
Is it possible to find optimal solution for a boolean formula by SM... +4.07