Support dsl in suchthat
Add nat-dsl example
Add set-cover-dsl example
Merge pull request #14 from phadej/example-dsl

Examples using DSL