From 7d45da8bc50e9ea96ad9f0d8c7bf162d5af9beea Mon Sep 17 00:00:00 2001 From: Matt Fredrikson Date: Mon, 1 May 2023 11:35:55 -0400 Subject: [PATCH] Fixed documentation link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index af24c5c..1954d0f 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,7 @@ For more information visit https://github.com/cmu-transparency/verified_rup ### As a Python module -See the [documentation](http://fairlyaccountable.org/verified_rup/drup.html) for details of the API. +See the [documentation](https://fairlyaccountable.org/verified_rup/drup.html) for details of the API. The primary function is `drup.check_proof`, or alternatively, `drup.check_derivation` to check each step of the proof, ignoring the absence of an empty clause). There are corresponding convenience functions `check_proof_from_strings` and `check_proof_from_files`, similarly for `check_derivation`. The following example uses [CNFgen](https://massimolauria.net/cnfgen/) to generate a PHP instance,