MassimoLauria/cnfgen — pull request #3 by marcvinyals (2013-02-22 12:59:04+00:00)
Title: Add tests

Added tests for reshuffle.
Added tests for lifting.
Ported lifting tests to the new API.