The Stalwart UNSAT certificate specification

Copyright (c) Stalwart Technologies Ltd

This specification is licensed under the Creative Commons Attribution 4.0
International licence (CC BY 4.0). You may copy and redistribute it in any medium
or format, and remix, transform and build upon it, for any purpose, including
commercially, provided you give appropriate credit, provide a link to the licence,
and indicate if changes were made.

The licence's legal code: https://creativecommons.org/licenses/by/4.0/legalcode

The licence covers the specification only. It grants no right in the solver, the
certificates it writes, or any other Stalwart software.