Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Quacode is a Quantified Constraint Satisfaction Problems (QCSP) solver built over the Gecode toolkit.
A communication bus for QuaCode
Forked from nacitar/terminalkeys.vim
Some things to improve key support in rxvt, taken from https://github.com/godlygeek/vim-files/blob/master/plugin/terminalkeys.vim
Callback to make QuaCode and another methode cooperate