https://github.com/abdelmalek-maskri/max-sat
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
https://github.com/abdelmalek-maskri/max-sat
docker docker-container evolutionary-algorithms genetic-algorithm maxsat maxsat-solver python3
Last synced: about 1 month ago
JSON representation
A MAXSAT solver with evolutionary algorithm, testing script, and Docker setup
- Host: GitHub
- URL: https://github.com/abdelmalek-maskri/max-sat
- Owner: abdelmalek-maskri
- Created: 2025-03-14T08:40:50.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-04-10T21:52:23.000Z (about 1 year ago)
- Last Synced: 2025-04-12T02:15:47.742Z (about 1 year ago)
- Topics: docker, docker-container, evolutionary-algorithms, genetic-algorithm, maxsat, maxsat-solver, python3
- Language: Python
- Homepage:
- Size: 16.3 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0