alias

alias has asked 6 questions and find answers to 75 problems.

Stats

About

alias questions

Is there a way to shorten this deriving clause?
QF_FPA? Does Z3 support IEEE-754 arithmetic?
Control.Concurrent.Async.race and runInteractiveProcess

alias answers

What does "quantifier free logic" mean in SMT context?
Z3 Prover returns wrong solution
Why not use a two's complement based floating-point?
overriding default Eq definition for specific pattern
Why are Float and Double different in the case of adding 0.1 and 0.2?
Round NaN in Haskell
Parallel solving in Z3
Does a value x of type float exist for which x + 1 == x?
Solving predicate calculus problems with Z3 SMT
Determine upper/lower bound for variables in an arbitrary propositional formula [closed]