Pinned

1. gini gini Public

   A fast SAT solver

   Go 148 16

2. reach reach Public

   symbolic reachability checker

   Go 21 3

3. dupi dupi Public

   A tool to find all duplicates in large sets of text documents.

   Go 16 3