Popular repositories Loading

1. cspuz cspuz Public

   Python 28 5

2. cspuz_core cspuz_core Public

   CSP solver for puzzles

   Rust 10 3

3. csugar csugar Public

   Reimplementation of Sugar CSP solver in C++

   C++ 9 2

4. cspuz-js cspuz-js Public

   TypeScript 2

5. numlin-sat numlin-sat Public

   A Numberlink solver based on SAT

   C++ 2

6. paper2audio paper2audio Public

   Make an audio book based on arXiv papers

   Python 2