Skip to content

Commit

Permalink
Readme changes
Browse files Browse the repository at this point in the history
  • Loading branch information
@Vikseko
Vikseko committed Apr 28, 2024
1 parent f406ca1 commit 02b42ee
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README_en.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down Expand Up @@ -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.

0 comments on commit 02b42ee

Please sign in to comment.