Popular repositories Loading

1. dhgraph dhgraph Public

   A Python module for directed hypergraphs

   Python 4

2. scg scg Public

   CSP encoder for the strategy-solvable Sudoku clues problem

   C 1

3. pygplib pygplib Public

   Pygplib: Python First-Order Graph Property Library

   Python 1

4. Vbt-X Vbt-X Public

   Python 1 2

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