Pinned Loading

1. anzenlang/cvc.lean anzenlang/cvc.lean Public

   Relatively high-level cvc5 API.

   Lean 3

2. anzenlang/lean-cvc5 anzenlang/lean-cvc5 Public

   Forked from abdoo8080/lean-cvc5

   A Foreign Function Interface (FFI) to cvc5 solver in Lean.

   Lean 1

3. hashconsing hashconsing Public

   A Rust hashconsing library.

   Rust 38 6

4. rsmt2 rsmt2 Public

   Forked from kino-mc/rsmt2

   A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

   Rust 2

5. safeIdx safeIdx Public

   Type-safe indexing library.

   Lean 2

6. hoice hoice Public

   Forked from hopv/hoice

   A Horn Clause ICE engine.

   Rust 2