TableSalt

TableSalt is a fast, fairly easy to use, constraint satisfaction framework
written in lua. It is designed to avoid having to convert everything to
fancy math and allows for custom constraints to be written.