Popular repositories

1. scg scg Public

   CSP encoder for the strategy-solvable Sudoku clues problem

   C 1

2. pygplib pygplib Public

   Pygplib: Python First-Order Graph Property Library

   Python 1

3. Vbt-X Vbt-X Public

   Python 1

4. dhgraph dhgraph Public

   A Python module for directed hypergraphs

   Python

5. pystc pystc Public

   A simple but extensible Python module for sentences

   Python

6. pydavid pydavid Public

   A Python interface of Open-David, an abductive reasoner

   Python