https://github.com/40uf411/genetic-algorithm-sat-problem

SAT solver using java. Implementing few strategies like elitism, tournament, dynamic crossover andmore.
https://github.com/40uf411/genetic-algorithm-sat-problem

chart crossover evolution genetic-algorithm genetic-optimization-algorithm genetic-programming mutation real-time sat sat-solver selection

Last synced: 6 months ago
JSON representation

SAT solver using java. Implementing few strategies like elitism, tournament, dynamic crossover andmore.

• Host: GitHub
• URL: https://github.com/40uf411/genetic-algorithm-sat-problem
• Owner: 40uf411
• License: apache-2.0
• Created: 2020-04-17T17:33:32.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-04-18T00:11:43.000Z (over 5 years ago)
• Last Synced: 2025-03-12T15:14:50.114Z (9 months ago)
• Topics: chart, crossover, evolution, genetic-algorithm, genetic-optimization-algorithm, genetic-programming, mutation, real-time, sat, sat-solver, selection
• Language: Java
• Size: 16.6 KB
• Stars: 1
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# genetic-algorithm-sat-problem

SAT solver using java. Implementing few strategies like elitism, tournament, dynamic crossover andmore.