alias

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

Set Solver for string constraints
API for theorem proving strategies
Inductive proofs in theorem provers (Z3, Vampire, with TPTP syntax)
Is it possible to cast a bitvector of one bit into a boolean variable in SMTLib2?
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