From 02b42ee2218962b2725a1eb4a7a54b391c32d329 Mon Sep 17 00:00:00 2001 From: Vikseko Date: Sun, 28 Apr 2024 14:09:16 +0300 Subject: [PATCH] Readme changes --- README_en.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README_en.md b/README_en.md index 85bf522..7700f95 100644 --- a/README_en.md +++ b/README_en.md @@ -40,8 +40,8 @@ Requirement packages: 1. [numpy](https://numpy.org/) (>=1.21.6) > pip install numpy -2. [python-sat](https://pysathq.github.io/) (>=1.8.dev4) – PySAT is a toolkit -that provides extremely convenient functionality for using SAT oracles. +2. [python-sat](https://pysathq.github.io/) (~=1.8.dev4) – PySAT is a toolkit +that provides convenient functionality for using SAT oracles. > pip install python-sat Optional packages: @@ -339,6 +339,6 @@ in the [Markdown](https://en.wikipedia.org/wiki/Markdown) file [`intro.md`](rho_ Also EvoguessAI supports its use at low level and as a library. In this mode the user can use his own implementations of classes and functions. -Documentation for this mode of use is available +Documentation for this mode is available [here](https://evoguess-ai.readthedocs.io/) and includes installation instructions and base usage manual.