Pinned Loading

1. cirkit cirkit Public

   A circuit toolkit

   C++ 95 38

2. kitty kitty Public

   C++ truth table library

   C++ 50 77

3. alice alice Public

   C++ command shell library

   C++ 51 11

4. header-only-sat header-only-sat Public

   Some scripts to generate header-only versions of C++ SAT solvers

   Shell 3

5. iwls2017-contest iwls2017-contest Public

   IWLS 2017 programming contest

   Verilog 1 1

6. iwls2018-contest iwls2018-contest Public

   IWLS 2018 programming contest

   TeX 2