https://github.com/SergioFierens/ai4r Been on github a long time. I was working on a constraint propagation fork till I got bogged down with work/life.

gem install ai4r