Popular repositories Loading

1. gqr gqr Public

   GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi

   C++ 20 6

2. qcn2sat qcn2sat Public

   Rewrite qualitative constraint networks (QCN) into propositional CNF

   Python 1

3. rott rott Public

   Forked from fabiangreffrath/taradino

   SDL2 port of Rise of the Triad

   C