alias

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

Any comparison between different SMT solvers?
z3 planning problems and blocks world
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