alias

alias has asked 6 questions and find answers to 98 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

Support of trigonometric functions ( e.g.: cos, tan) in Z3
Is there simple way to extend simply typed lambda calculus with monad types?
Z3 and strategies: Which strategy to use?
Out-of-bounds `select` even though I `constrain` the index
For any float number x,y,integer n, where const y=n-x, and 0<=x,y,n<=MAX_VALUE, is x+y==n always true?
Trying to solve Constraint over Ancestor Relation with SBV
Print current logical context as an SMT-LIB file in Z3
Can you limit a real variable between two bounds?
Map data structure in Z3
How to get rid of solutions with -0.0 in SBV