{"id":32611496,"url":"https://github.com/ctlab/evoguess","last_synced_at":"2025-10-30T13:59:22.556Z","repository":{"id":41385402,"uuid":"434604305","full_name":"ctlab/evoguess","owner":"ctlab","description":"Component EvoGuess v2.1 for finding decomposition sets and estimating hardness of SAT instances.","archived":false,"fork":false,"pushed_at":"2023-06-04T12:20:10.000Z","size":23994,"stargazers_count":2,"open_issues_count":0,"forks_count":1,"subscribers_count":6,"default_branch":"master","last_synced_at":"2024-05-19T00:08:54.203Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ctlab.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2021-12-03T13:22:31.000Z","updated_at":"2024-01-12T18:24:53.000Z","dependencies_parsed_at":"2023-01-31T05:01:05.027Z","dependency_job_id":null,"html_url":"https://github.com/ctlab/evoguess","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/ctlab/evoguess","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ctlab%2Fevoguess","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ctlab%2Fevoguess/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ctlab%2Fevoguess/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ctlab%2Fevoguess/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ctlab","download_url":"https://codeload.github.com/ctlab/evoguess/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ctlab%2Fevoguess/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":281818072,"owners_count":26566859,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-30T02:00:06.501Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-10-30T13:58:28.027Z","updated_at":"2025-10-30T13:59:22.549Z","avatar_url":"https://github.com/ctlab.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"**The package is deprecated in favor of https://github.com/aimclub/evoguess-ai**\n\n# EvoGuess\n\nFramework for finding decomposition sets and estimating hardness of SAT instances.\nThe search for decomposition sets is realized via the optimization of the special \npseudo-Boolean black-box functions that estimate the hardness of the decomposition \ncorresponding to the employed decomposition method and the considered set. To\noptimize the value of such functions the framework uses metaheuristic algorithms, \nin particular, the evolutionary ones.\n\n## Installation\n\nAt the moment, only manual installation is available.\n\n```shell script\n$ git clone git@github.com:ctlab/evoguess.git\n```\n\n### Dependencies\n\n```shell script\n$ pip install numpy\n$ pip install python-sat\n$ pip install python-dotenv\n```\n\nTo use EvoGuess in MPI mode, you also need to install:\n\n```shell script\n$ pip install mpi4py\n```\n\n### Environment\n\nCreate **.env** file using **create_env.sh** script\n\n```shell script\n$ cd evoguess\n$ ./create_env.sh\n```\n\n## How to use\n\nRun **main.py** using configuration file.\n\n```shell script\n$ python3 main.py -f \u003cconfiguration file\u003e\n```\n\nOr use configuration json-string.\n\n```shell script\n$ python3 main.py -l \u003cconfiguration json-string\u003e\n```\n\n### MPI mode\n\nThe EvoGuess can be run in MPI mode as follows:\n\n```shell script\n$ mpiexec -n \u003cworkers\u003e -perhost \u003cperhost\u003e python3 -m mpi4py.futures main.py -f \u003cconfiguration file\u003e\n```\n\n### Example\n\nRun on example configuration **config.json**.\n\n```shell script\n$ python3 main.py -f config.json\n```\n\n## Documentation\n\nDocumentation is available [here](https://evoguess.readthedocs.io/) and includes installation instructions, base and advanced usage manual.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fctlab%2Fevoguess","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fctlab%2Fevoguess","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fctlab%2Fevoguess/lists"}