https://github.com/ctlab/evoguess
Component EvoGuess v2.1 for finding decomposition sets and estimating hardness of SAT instances.
https://github.com/ctlab/evoguess
Last synced: 8 months ago
JSON representation
Component EvoGuess v2.1 for finding decomposition sets and estimating hardness of SAT instances.
- Host: GitHub
- URL: https://github.com/ctlab/evoguess
- Owner: ctlab
- License: mit
- Created: 2021-12-03T13:22:31.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2023-06-04T12:20:10.000Z (about 3 years ago)
- Last Synced: 2024-05-19T00:08:54.203Z (about 2 years ago)
- Language: Python
- Homepage:
- Size: 22.9 MB
- Stars: 2
- Watchers: 6
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
**The package is deprecated in favor of https://github.com/aimclub/evoguess-ai**
# EvoGuess
Framework for finding decomposition sets and estimating hardness of SAT instances.
The search for decomposition sets is realized via the optimization of the special
pseudo-Boolean black-box functions that estimate the hardness of the decomposition
corresponding to the employed decomposition method and the considered set. To
optimize the value of such functions the framework uses metaheuristic algorithms,
in particular, the evolutionary ones.
## Installation
At the moment, only manual installation is available.
```shell script
$ git clone git@github.com:ctlab/evoguess.git
```
### Dependencies
```shell script
$ pip install numpy
$ pip install python-sat
$ pip install python-dotenv
```
To use EvoGuess in MPI mode, you also need to install:
```shell script
$ pip install mpi4py
```
### Environment
Create **.env** file using **create_env.sh** script
```shell script
$ cd evoguess
$ ./create_env.sh
```
## How to use
Run **main.py** using configuration file.
```shell script
$ python3 main.py -f
```
Or use configuration json-string.
```shell script
$ python3 main.py -l
```
### MPI mode
The EvoGuess can be run in MPI mode as follows:
```shell script
$ mpiexec -n -perhost python3 -m mpi4py.futures main.py -f
```
### Example
Run on example configuration **config.json**.
```shell script
$ python3 main.py -f config.json
```
## Documentation
Documentation is available [here](https://evoguess.readthedocs.io/) and includes installation instructions, base and advanced usage manual.