.. Silas documentation master file, created by sphinx-quickstart on Mon Nov 19 12:49:44 2018. You can adapt this file completely to your liking, but it should at least contain the root `toctree` directive. .. _sec-enforce-learn: Enforcement Learning ==================== .. toctree:: :maxdepth: 2 :caption: Contents: If the user requires that the machine learning model must be compliant with certain :ref:`specifications `, Silas provides a way to build optimised models that are guaranteed to meet the specifications. For example, to build a model using settings1.json and enforce specs in specs1.json and output the model in model/this-model/, issue the following command:: silas learn -e specs1.json -o model/this-model/ settings1.json The user can verify the correctness of the generated models using the commands in :ref:`sec-verify-model-user-spec`. However, this is not necessary as the generated models should be correct by construction. .. Indices and tables .. ================== .. * :ref:`genindex` .. * :ref:`modindex` .. * :ref:`search`