= Specification =
This section specifies the translation rules.

* [wiki:Specification/RSF2DIMACS Translation of RSF-Files into DIMACS Format]