I notice Mikhail is interested in constraint solvers. > > Currently missing features are: > > > > - constraints (although I see there are several ruby-based > > constraint solvers available, I have not yet explored them)
There is a very useful, and surprisingly small constraint solver called MiniSAT Although written in C, it might be possible to wrap it in Ruby. Alternatively, it may be possible to execute it using the shell facilities of Ruby. Tom Hawkins used this approach in his atom framework: http://www.funhdl.org/wiki/doku.php Rob MacAulay
