StackRating

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

Jörg Pfähler

Rating
1496.03 (4,129,226th) 		Reputation
14 (1,789,888th)
Page: 1
Title Δ
Z3 Managed Exception : Java API while trying to use propagate-ineqs... -3.97
z3 4.3.2 fails to find a model for Why3-generated (satisfiable) goals 0.00
Getting Unsat core examples using Z3 and c# 0.00
declare a Pair datatype using Z3 java API 0.00
Z3 java bindings? 0.00
soft timeout crashes main instance of Scala program using Scala^Z3 0.00
Models and recursive functions 0.00