From 1b919108da8cecde9e00d3bd53f79ae35fb53850 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20D?= Date: Fri, 8 Dec 2023 17:02:42 +0100 Subject: [PATCH] Small improvements to the docs --- docs/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/README.md b/docs/README.md index fc8340e..fa597fa 100644 --- a/docs/README.md +++ b/docs/README.md @@ -9,6 +9,8 @@ To integrate with PropellerHeads solvers, two components need to be provided: * **Protocol logic:** Provides simulations of the protocols logic. * **Indexing**: Provides access to the protocol state used by the simulation. This component is optional if your protocol is stateless. +To propose an integration, create a pull request in this repository with the above components implemented. + ### Protocol Logic PropellerHeads currently exposes two integration modes to specify the protocols' underlying logic: