rebol
=====

code for grounded SMT

This has nothing to do with the programming language REBOL
http://www.rebol.com/