StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Josh Berdine

Rating
1494.90 (4,277,872nd)

Reputation
326 (384,908th)

Page: 1

Title	Δ
solver_get_unsat_core() in ML (OCaml) API returns empty core	+0.06
Migrating from Z3 Version 3.2 to Version 4.0	-3.94
Equivalent Quantifier Free Formulas	-3.90
check_assumptions via stdin/smt2?	0.00
Test satisfiability with respect to a fixed partial model	0.00
Is it possible to clone Z3_context?	-2.05
Is it possible to invoke OCaml from .NET?	0.00
z3 ocaml binding not working (windows 7)	+4.73
How to force ocamlbuild using already built obj-files if two differ...	0.00