StackRating

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

alias

Rating
1531.30 (17,435th) 		Reputation
8,170 (19,274th)
Page: 1 2 3 ... 14
Title Δ
Floating Point IEE754 0.00
Data Type in SMT solver which supports normal additon, xor, or , an... 0.00
Is it possible to prove this defined function is an involution in z3? 0.00
Is it possible to define a function with an all quantified assertio... 0.00
How to solve a McNuggets problem using z3py 0.00
How to find the same decimal number in hex using Z3 in python 0.00
How to generate code from LLVM which is then I want to given as the... 0.00
Quantified list length limitation leads to unsat 0.00
Use of non-ascii strings in defining z3 variablels and types -0.07
Describing a function partially in Z3 or Z3py +1.71
Pick one option and assign value 0.00
inconsistent result in python API for z3 0.00
Number of digits on Z3 Solver -0.57
Generating random Sudoku via Z3 isn't random and is slow +0.44
How to model in Z3py 0.00
How to use Z3 Context in Python api? 0.00
How to get the model with minimum variables to satisfy the assertio... 0.00
python z3 smt Bounded model +0.46
How to convert a custom type to an Integer in Haskell? -1.46
Z3py model returned EMPTY +1.63
How to generate conditions within constraints in Z3py 0.00
Is IEEE-754 representation used in C? -1.42
Is there a method to add constraints within conditional statements... 0.00
z3 conversion from int to float and vice versa for any expression 0.00
Solving SAT problem using Z3 without repeating Boolean expression +1.73
Z3 Boolean Expression Simplification 0.00
How to express set membership in SMTLIB format in Z3? 0.00
Is there a function to test if a number is rational in Z3? 0.00
Z3py: Add value to computed result and make another check 0.00
what's the meaning of "at-most" keyword in SMT-LIB la... 0.00
Z3 create two intVectors with same elements but different order 0.00
What is the important decision factors deciding the optimization ac... 0.00
Parallel solving in SBV with Z3 0.00
Optimal literal representation of integers and floats 0.00
CNF by truth table 0.00
Get a random satisfiable solution (or multiple solutions) when runn... 0.00
Constrain a symbolic list on count of elements of a certain type in... 0.00
How to define un-declared type in Z3 Solver 0.00
Optimize signed bitvectors in Z3 +1.84
z3 modeling graph with datatype of arrays 0.00
solving quantifier-free VC using z3 0.00
Naming assertions in Z3 proofs 0.00
Avoiding infinite recursion with mfix 0.00
The division in the z3 java API 0.00
How to concatenate regular expressions in z3py? 0.00
Z3 disable assertion simplification for proofs 0.00
How to automatically call a function like Or() in z3py using a loop... 0.00
Floating points : Is it true if a > b then a - b > 0? -1.34
z3 encoding table of relations for parameters 0.00
How to print the entire model in cvc4 using smtlib 0.00