Pinned

1. euforia Public

   Software model checking with uninterpreted functions abstraction

   C++ 2

2. horn2vmt Public

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

   C++ 1

3. funsat Public

   An efficient, embeddable DPLL SAT solver in Haskell

   Groff 34 8

4. bitfunc Public

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

   C