This is your work, valued

Denis Bueno

Expert
@dbueno

phd cs, staff @ sandia

denisbueno.net

funsat. An efficient, embeddable DPLL SAT solver in Haskell

37

euforia. Software model checking with uninterpreted functions abstraction

6

fiblib. Fibonacci heap in ocaml

1

puzzler. A puzzle assistant

1

horn2vmt. Translation from (linear) Horn clauses into VMT, a logic-based transition system format

1