This repository has been archived by the owner on Dec 5, 2019. It is now read-only.

cameron-pascal / genetic-3SAT Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A genetic algorithm based 3SAT solver for Rutgers CS 440

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
cnf		cnf
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
__main__.py		__main__.py
dimacs_parser.py		dimacs_parser.py
genetic_solver.py		genetic_solver.py
problem_runner.py		problem_runner.py

Repository files navigation

genetic-3SAT

A genetic algorithm based 3SAT solver

About

A genetic algorithm based 3SAT solver for Rutgers CS 440

genetic-algorithm sat-solver cs440

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%