StackRating

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

Christoph Wintersteiger

Rating
1497.94 (3,911,093rd) 		Reputation
6,994 (22,962nd)
Page: 1 2 3 4 5 ... 7
Title Δ
Can z3py add a new assertion from reading the model? 0.00
What is Z3's default solver? 0.00
Is z3 model the same for a same program? 0.00
Build z3 as static library instead of DLL 0.00
Get random results from Microsoft Z3 C or C# API 0.00
Variable selection in Z3 0.00
Is there a global forall construct in SMT language or a Z3 extension? 0.00
Error when running Z3 java binding 0.00
Compile errors for Z3's JavaExample.java test of java bindings 0.00
Direct access to Theory decision procedures using z3 0.00
Z3: ParseSMTLIB2File/String 0.00
Multi-valued logic in Z3 -0.00
Setting LIA logic in z3 0.00
Z3: Java API for quantified formulas 0.00
Setting logic for solver in Z3 (API) +0.49
How to let z3 command line output the mode (or unsat core) rather t... 0.00
Z3 c++ api substitution array 0.00
reasoning about probabilities and indistinguishability 0.00
z3py: How to check trace information when using z3 python api 0.00
z3: Is it possible to adjust the branching heuristics in Z3? 0.00
How to generate a formula in SMTLIB2 format from z3 solver 0.00
Z3 in C#, Only getting 1 result 0.00
Z3 Java API fails to detect libz3.dylib 0.00
Using Z3 with concrete arrays 0.00
Z3's Java APIs handle quantifier variable wrongly 0.00
z3 treats power different than multiplication for nonlinear integer... 0.00
Z3 print evaluation result 0.00
Has Floating point theory of Z3 supported in C++ API 0.00
How to display specific unsat constraint, not whole core (Z3, Python) 0.00
Function return bad value based on parameter (Z3, Python) 0.00
Display all values from Z3 model (Python) 0.00
Why is Z3 not able to solve this instance without a seemingly trivi... 0.00
How to correctly use Solver() command in Python API of Z3 with decl... -0.52
How to represent a floating point constant (such as 1e307) in SMT-L... 0.00
z3 minimum Visual Studio compiler version 0.00
z3: conversion of expressions with transcendental functions from z3... 0.00
can I create a new solver from an old one in Z3? 0.00
Get expression using Z3 solver 0.00
When should I use a function instead of a variable in Z3? 0.00
Calling SMT solver from JavaScript 0.00
z3, z3py: Can I define a sort that includes a set of integers? 0.00
Z3 Java API - get unsat core 0.00
What is the Z3 option hi_div0? 0.00
What is the definition of underflow in Z3 terminology 0.00
Z3 API: Is inspection of AST possible 0.00
z3: do the orders of constraints being asserted affect the orders t... 0.00
Does the time reported in z3 (v4.4.0) statistics include the time r... 0.00
Soft Assertions in the DotNet API 0.00
z3py: Is there a way to check configuration options in z3py? 0.00
Incorrect result of sum int-casted BitVec using Z3, Z3py 0.00