Pinned Loading

1. euforia euforia Public

   Software model checking with uninterpreted functions abstraction

   C++ 5

2. horn2vmt horn2vmt Public

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

   C++ 1

3. funsat funsat Public

   An efficient, embeddable DPLL SAT solver in Haskell

   Groff 37 7

4. bitfunc bitfunc Public

   Library for building bit-vector and array constraints directly on top of a SAT solver

   C