Up to list of GNU SETL manuals
*** To be written.
Meanwhile, the README files under the src/opt/ subdirectory of the source distribution give some general guidance. Beyond that, it's currently a matter of your generalizing from existing examples.
src/opt/